半順序
前順序
かつ
反対称的
を満たす
二項関係
言い換えれば
反射律
推移律
反対称的