ツォルンの補題
極大反鎖の存在はツォルンの補題による。