ツォルンの補題

3行要約

1. 任意の鎖が上界を持つ半順序集合は極大元を持つという集合論の命題。
2. 選択公理と同値であり、数学の多くの分野で存在証明に用いられる。
3. ベクトル空間の基底の存在やハーン・バナッハの定理の証明に不可欠。