>>654
>実数の大小
(0,1)⊂[0,1)に通常の大小関係での最小元は存在しないけど?