ordinal

An isomorphism class of well-ordered sets.