ツォルンの補題
Equivalent forms of Zorn's lemma.