前順序
反射律
と
推移律
が成り立つ
二項関係