The assertion that every proper filter on a Boolean algebra or on the power set of a set can be extended to an ultrafilter, equivalently that every family of sets with the finite intersection property is contained in an ultrafilter; commonly used to construct ultraproducts and nonprincipal ultrafilters.

Principle

Use maximality/extension: any filter can be extended to a maximal proper filter (an ultrafilter) by Zorn-type arguments or by the equivalent Boolean prime ideal principle; ultrafilters decide every subset (either it or its complement belongs to the ultrafilter).

Demonstration

Given the filter of cofinite subsets of N, extend it to an ultrafilter which, if nonprincipal, contains no finite sets and yields an ultraproduct of structures over N that reflects first-order properties by Łoś's theorem; such nonprincipal ultrafilters are guaranteed by the lemma but nonconstructive in ZF.

Misapplication

Treating the lemma as providing explicit constructions of nonprincipal ultrafilters, or assuming equivalence with the full Axiom of Choice; another misuse is applying ultrafilter arguments without verifying one works in the chosen set-theoretic framework (ZF vs ZFC).

Consequence

Yields existence of ultrafilters that underpin ultraproduct constructions in model theory, compactness arguments, and many combinatorial and topological results (e.g., Stone–Čech compactification), but existence of nonprincipal ultrafilters requires choice-like principles.

Reversal

The converse viewpoint is the finite intersection property: starting from families with that property one can seek maximal families (ultrafilters); negating the lemma corresponds to models of ZF where some proper filters cannot be extended to ultrafilters.

Boundary

Equivalent in ZF to the Boolean prime ideal theorem, strictly weaker than the Axiom of Choice; it does not give constructive ultrafilters and its consequences (existence of nonprincipal ultrafilters on N) may fail in models of set theory without choice-like axioms.

Semantic Tension

Often conflated with the Axiom of Choice or Zorn's lemma; while related by choice-equivalences, the ultrafilter lemma is strictly weaker than full AC. Also distinguished from the concrete notion of principal ultrafilters (which are trivial) versus nonprincipal ones (more powerful and nonconstructive).

Synthesis

The ultrafilter lemma says every proper filter extends to a maximal deciding filter (an ultrafilter); it is a nonconstructive extension principle equivalent to the Boolean prime ideal theorem that enables ultraproducts and many compactness-type arguments under choice-like assumptions.