>>800
問題は、絶対に順序集合にはならない、なんてことがあるかどうか
そのとおりだと思います。「集まり」でなく「集合」なのだから、
順序と言わずとも何かしらの秩序なり規則はあるはずでしょう。
ただそうすると集合論的でない無限というイメージが沸いてくるなあ

>>801
すいません不勉強なもので違いがわかりません。