>>126
>正の実数全体の成す集合 R+ に通常の大小関係 ≦ を考えたものは整列順序ではない。例えば開区間 (0, 1) は最小元を持たない。一方、選択公理を含む集合論の ZFC 公理系からは、実数全体の成す集合 R 上の整列順序が存在することが示せる。
じゃダメじゃんｗ
通常の大小関係では整列順序でないんでしょ？
はい、終了。とっとと退場して下さい。