For example, the set of integers and the set of even integers have the same order type, because the mapping preserves the order. But the set of integers and the set of rational numbers are not order isomorphic, because, even though the sets are the same size, there is no order-preserving bijective mapping between them. To these two order types we may add two more: the set of positive integers (which has a least element), and that of negative integers (which has a greatest element). The open interval (0,1) of rationals is order isomorphic to the rationals ( provides a monotone bijection from the former to the latter), but the half-closed intervals [0,1) and (0,1], and the closed interval [0,1], supply three new examples for a total of seven order type examples in this paragraph.
Since order-equivalence is an equivalence relation, it partitions the class of all sets into equivalence classes. Every well-ordered set is order-equivalent to exactly one ordinal number. The ordinal numbers are taken to be the canonical representatives of their classes, and so the order type of a well-ordered set is often identified with the corresponding ordinal. For example, the order type of the natural numbers is said to be ω.
The order type of a well-ordered set V is sometimes expressed as ord(V).
For example, consider the set of even ordinals less than ω·2+7, which is:
Its order type is:
US Patent Issued to BGC Partners on May 7 for "Systems and Methods for Maintaining the Viability of a Good-until-Bettered Order Type in Electronic Trading Systems" (American, British Inventors)
May 07, 2013; ALEXANDRIA, Va., May 7 -- United States Patent no. 8,438,097, issued on May 7, was assigned to BGC Partners Inc. (New YorkSystems...
SAIC, Germantown, Md., wins master task order-type subcontract from Lawrence Livermore National Laboratory for its Fission Energy and Systems Safety Support Program.
Jan 26, 1995; SAIC, Germantown, Md., wins master task order-type subcontract from Lawrence Livermore National Laboratory for its Fission Energy...