10.4.3 論理計算
論理計算──順序関係の推移法則の適用──も,量の大小比較の方法になる。即ち,二量X,Yに対し,既に何がしかの方法で得られている関係:
X≦Z
1
,Z
1
≦Z
2
,・・・,Z
n-1
≦Z
n
,Z
n
≦Y
を媒介させることによってX≦Yを導くというのが,このやり方である。