それよりでかいやつがいたら一致しちゃうやつ

上界　有界

定義

Xの空でない全ての全順序部分集合が上界の時、Xを帰納的順序集合と言う

?上界と有界間違えてない？

see ツォルンの補題

帰納的順序集合