Zorn's lemma
ブルバキ・ヴィットの定理には、重要な適用事例が幾つも存在する。選択公理からツォルンの補題を導く証明は、その最もよく知られた適用事案の一つである。ここでは、formula_1 が空でない半順序集合であって、任意の全順序部分集合に上限が存在する場合について示す。