##  [Zorn's Lemma](/zorns-lemma-0) 

 Definition

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

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

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

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

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

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

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

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

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.