集合上の2項関係
が厳密で弱い順序であるとは,
が以下の条件を全て満たすことである.
- 非反射性(Irreflexivity)
の任意の要素
に対して
.
- 推移性(Transitivity)
の任意の要素
に対して
.
- Equivalenceにおける推移性(Transitivity)
2項関係を
と定義する.このとき
.
集合上の2項関係
が厳密で弱い順序であるとは,
が以下の条件を全て満たすことである.
の任意の要素
に対して
.
の任意の要素
に対して
.
2項関係を
と定義する.このとき
.