In mathematics, especially in set theory, two ordered sets X,Y are said to have the same order type just when they are order isomorphic, that is, when there exists a bijection f: X → Y such that both f and its inverse are monotone (order preserving). (In the special case when X is totally ordered, monotonicity of f implies monotonicity of its inverse.)
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 (with the standard ordering) are not order isomorphic, because, even though the sets are of the same size (they are both countably infinite), 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 (since
provides a monotone bijection from the former to the latter); the half-closed intervals, and the closed interval, are three additional order type examples.
Since order-equivalence is an equivalence relation, it partitions the class of all ordered sets into equivalence classes.
Read more about Order Type: Order Type of Well-orderings, Rational Numbers, Notation
Famous quotes containing the words order and/or type:
“In schools all over the world, little boys learn that their country is the greatest in the world, and the highest honor that could befall them would be to defend it heroically someday. The fact that empathy has traditionally been conditioned out of boys facilitates their obedience to leaders who order them to kill strangers.”
—Myriam Miedzian, U.S. author. Boys Will Be Boys, ch. 3 (1991)
“Only that type of story deserves to be called moral that shows us that one has the power within oneself to act, out of the conviction that there is something better, even against one’s own inclination.”
—Johann Wolfgang Von Goethe (1749–1832)