Example image of eyePlorer eyePlorer map for 'Order type': Bijection Mathematics Order isomorphism Ordered set Set theory Total order Countable set Equivalence relation Ordinal number Well-order Even and odd ordinals Rational number Duality (order theory) Recursive ordinal Tree (set theory) Regular cardinal Existentially closed model Burali-Forti paradox Hartogs number Fred Galvin Von Neumann cardinal assignment Intensive Science and Virtual Philosophy MV-algebra Non-standard arithmetic Cofinality Ord Finite set Archimedean property Large numbers Alfred Tarski Constructible universe Surreal number