ツォルンの補題
ツォルンの補題のこの特別な場合は、の証明に用いられる。この原理は、任意の半順序部分集合において、任意の全順序部分集合を含む極大全順序部分集合が存在することを述べており、簡単に分かるようにツォルンの補題と同値である。