を集合上の厳密で弱い順序とする.このときは反対称性(Assymmetricity)を持つ.即ちをの任意の要素とするとき
を満たす.
証明)
と仮定する.推移性からただちに
が導かれるがこれは非反射性に矛盾する.ゆえに
が示された.Q.E.D.
を集合上の厳密で弱い順序とする.このときは反対称性(Assymmetricity)を持つ.即ちをの任意の要素とするとき
を満たす.
と仮定する.推移性からただちに
が導かれるがこれは非反射性に矛盾する.ゆえに
が示された.Q.E.D.