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