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.