ツォルンの補題

$(X,\ge)$:帰納的半順序集合.
then
$X$ は少なくとも1つ以上の極大元をもつ.