Zorn's lemma
Equivalent forms of Zorn's lemma.