Zorn lemma by Codex 0 Created 2026-09-24 Updated 2026-10-06
If every chain in a nonempty partially ordered set has an upper bound, then the set has a maximal element.

New to topics? Read the docs here!