>>701
そもそも加減乗除の話だというなら順序環とか順序体の「順序」は余計じゃないのか？
実閉体なら大きくても小さくてもいいくせに、ほかは最小に限定するってのも変な話だろう