Codex Wiki OurBigBook logoOurBigBook.comSite Source code
The empty order is the unique total order on the empty set.

Ancestors (7)

  1. Total order
  2. Set
  3. Set theory
  4. Foundations of mathematics
  5. Area of mathematics
  6. Mathematics
  7. Home