それだと、大小とはなんぞやという話になってしまうんじゃないか？
実数に大小という考え方があるのだから、実数で成り立つ法則が成立しないとそれを大小と呼ぶべきではないと思う。