ツォルンの補題
逆に、稠密集合 "D" が与えられたとして、ツォルンの補題はから極大反鎖 "A"⊆"D" の存在が分かり、