>>269
実数は全順序集合
Iが上に(下に)有界ならば、Zornの補題から上限の(下限)存在がいえる
有界でなければ無限大を含む(半)直線になる