反対称律:P の任意の元 a, b に対し、a ≦ b かつ b ≦ a ならば a = b が成り立つ。 全順序律:P の任意の元 a, b に対し、a ≦ b または b ≦ a が成り立つ。 「≦」が全順序律を満たさない場合、「a≦ b」でも「b ≦ a」でもないときがある。このとき a と b は比較...