ｸｲｽﾞ大陸

＞なんにせよ「弱い・・・・・・・強い」の一方向であらわされます。

というのは「当たり前」でいいのでしょうか？
実数の順序に対する「推移律」は公理だったと思います。
実数が「小さい・・・・大きい」の一方向で表されるのは、結局推移律から導かれることなので、なぜ「推移律」が成り立つか、ということは証明できないのでは？
同じように「弱い・・・強い」も自分で定義しない限り推移律の成立は何も言えないかと…