>>280
そっちの方がいい。
通常の乗法・の二項演算については「ab ＜÷(ab^{-1})」ではないが、
「ab＜÷」と仮定すると、>>272は論理的にいえなくなるのか？