An order type is a property possessed by sets that are ordered under some ordering relationship. Two sets have the same order type if they are order-isomorphic to each other; that is, if there is some bijection between the two sets that preserves the order of elements.

Every well-ordering, in which all elements are ordered and each subset of the set has a smallest element, has a corresponding unique ordinal number.

Ad blocker interference detected!

Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.