ツォルンの補題
Zorn's lemma can then be stated as: