二項関係の性質
反射律
$ aRa
対称律
$ aRb \implies bRa
反対称的
$ aRb,bRa \implies a =b
推移律
$ aRb, bRc \implies aRc
Euclid的関係
普通，
右ユークリッド律
左ユークリッド律
全順序律
$ \leq
前順序
反射律
と
対称律
を満たす
半順序
前順序
かつ
反対称的
を満たす
全順序
半順序
かつ
全順序律
を満たす