A principle in set theory that asserts: if a partially ordered set has the property that every totally ordered subset (chain) has an upper bound in the set, then the poset contains at least one maximal element (an element not strictly below any other).

Principle

Local-to-global existence by promoting existence of upper bounds on chains to the existence of maximal elements; a nonconstructive selection principle equivalent to the Axiom of Choice in ZF set theory.

Demonstration

Used to show every vector space has a basis: consider the poset of linearly independent subsets ordered by inclusion; any chain has an upper bound (its union), so Zorn's Lemma yields a maximal linearly independent set which spans the space, hence a basis.

Misapplication

Applying Zorn's Lemma when some chain lacks an upper bound, or confusing maximal element with maximum; using it expecting a canonical or computable witness rather than only an existence statement.

Consequence

Guarantees existence of maximal ideals in rings, bases of vector spaces, Hamel bases in infinite-dimensional spaces, and other nonconstructive existence results; underlies many algebraic and order-theoretic existence proofs and is equivalent to the Axiom of Choice.

Reversal

Negating Zorn's condition yields posets where some chains lack upper bounds and one cannot conclude existence of maximal elements; the absence of the lemma permits models of ZF with different existence behavior.

Boundary

Applies only to partially ordered sets and requires that every chain has an upper bound inside the same poset; it does not provide an explicit construction of the maximal element and does not apply directly to proper classes without additional formulation.

Semantic Tension

Closely tied to the Well-Ordering Theorem and the Axiom of Choice (all equivalent in ZF), but phrased as an order-theoretic existence principle rather than an ordering or selection assertion; often confused with finite maximality or with maximum elements.

Synthesis

Zorn's Lemma converts a chainwise upper-bound condition in a poset into the existence of a maximal element, serving as a nonconstructive but powerful existence tool equivalent to choice and widely used to produce algebraic and order-theoretic maxima.