Example image of eyePlorer eyePlorer map for 'Well-order': Empty set Greatest element Mathematics Set (mathematics) Subset Total order Well-founded relation Supremum Transfinite induction Natural number Well-ordering principle Axiom of choice Well-ordering theorem Zorn's lemma Order isomorphism Order type Ordinal number Counting Cardinal number Cardinality Integer Negative and non-negative numbers Binary relation If and only if Real number Zermelo–Fraenkel set theory Axiom of constructibility Limit point Order topology Axiom of dependent choice Topological space Isolated point Cofinal (mathematics) Countable set First-countable space Uncountable set File sequence Infinite descent Infinity-Borel set Recursive ordinal Strong partition cardinal Tree (set theory) Choice function Hartogs number Ordinal arithmetic Prewellordering Von Neumann cardinal assignment Θ (set theory) Georg Cantor Hahn series