Lemma von Zorn
Equivalent forms of Zorn's lemma.