... >> Mathematics >> Set Theory >> Order Type
Highest Rated Sign
Nobody has posted a sign yet.
Definition: Suppose that A and B are two sets with order relations <_A and <_B respectively. We say that A and B have the same order type if there is a bijective correspondence between them that preserves order; that is, if there exists a bijective function f: A -> B such that a_1 <_A a_2 implies f(a_1) <_B f(a_2).
Source: Topology (second edition) by James R. Munkres