>>512
横からだけど「なるほど！」と思った

不等式の辺々を足すことはできるけど、引くことはできない
それをふまえて四則演算（＋−×÷和差積商）で
今のところ 和（＋）は成立するが、差（−）は成立しない
じゃあ 積（×）や 商（÷）はどうなのだろう？と考えてみた

a＞b , c＞d のとき ac＞bd
a＞b , c＞d のとき a/c＞b/d

で、ダメだな･･･すぐに反例がみつかるな…（0とか）