Zorn's Lemma
Equivalent to the Axiom of Choice and crucial for many proofs in algebra and analysis.
📜
The statement of the theorem
Every non-empty partially ordered set in which every chain (i.e., totally ordered subset) has an upper bound contains at least one maximal element.
Source: Wikipedia