帰納的順序集合
極大元
それよりでかいやつがいたら一致しちゃうやつ
上界
有界
定義
Xの空でない全ての全順序部分集合が
上界
の時、Xを帰納的順序集合と言う
?上界と有界間違えてない？
moyamin.icon
see
ツォルンの補題
帰納的順序集合