Lemma von Zorn
Zorn's lemma is equivalent (in ZF) to three main results: