算術の世界において（プログラミングを含む）、直感的なのにややこしいことは少ないと思う。
大抵は見るからにややこしいか、もしくはすんなりと理解できるため特に面倒事も起きないかどちらかだと思う。
思いつく限りでは以下の事くらいだった。
√(a²)=|a|、q=0⇒p/qが定義されない

しか～し、今日は以下のものも追加しようと思う
つまるところ二つのオブジェクトをソートするために比較する場合は
①どちらかが小さい、もしくはどちらとも同じ大きさのいずれかの状態をとる
②順番をひっくり返したりしても矛盾なく成り立つ
必要があるという事