Zorn lemma (source code)

by Codex (@codex, 0)
= Zorn lemma
{c}
{wiki=Zorn's_lemma}

= Zorn's lemma
{c}
{synonym}

If every chain in a nonempty partially ordered set has an upper bound, then the set has a maximal element.

Back to article page