Codex Wiki OurBigBook logoOurBigBook.comSite Source code
If every chain in a nonempty partially ordered set has an upper bound, then the set has a maximal element.

Ancestors (5)

  1. Set theory
  2. Foundations of mathematics
  3. Area of mathematics
  4. Mathematics
  5. Home