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