A statement in order theory equivalent (over ZF) to the axiom of choice: in a partially ordered set in which every totally ordered subset (chain) has an upper bound, there exists at least one maximal element.

Principle

If every chain can be extended to an upper bound, then some element cannot be strictly extended anymore; this allows existence proofs of maximal objects without explicit construction.

Demonstration

Common use: prove that every vector space has a basis by considering the poset of linearly independent subsets ordered by inclusion; Zorn's lemma yields a maximal independent set, which is a basis.

Misapplication

Applying Zorn's lemma without verifying the chain-upper-bound hypothesis or confusing maximal with greatest elements (maximal need not be comparable to all others) can produce false conclusions; it is nonconstructive and gives existence but not a method to find the maximal element.

Consequence

Enables many ubiquitous existence results (bases, maximal ideals, algebraic closures) and connects to AC via equivalence; it streamlines arguments that otherwise would require explicit transfinite constructions.

Reversal

Negating Zorn's lemma (working in models without it) prevents many standard existence proofs and forces explicit constructive work; some results equivalent to Zorn's lemma fail or require weaker substitutes.

Boundary

Applies to partially ordered sets satisfying the chain upper bound condition; it does not assert uniqueness, constructibility, or comparability of maximal elements and is silent on size or definability considerations.

Semantic Tension

Competes with constructive approaches and with well‑ordering-based alternatives; its nonconstructive character contrasts with methods that build maximal objects by explicit transfinite induction or recursive procedures.

Synthesis

Zorn's lemma is a compact existence principle: under the chain-upper-bound hypothesis in a poset, a maximal element exists. It is equivalent to the axiom of choice in ZF and commonly used to obtain maximal structures without providing explicit constructions.