半順序
partial order
集合
$ S
とその上の
二項関係
$ R
に対して、
前順序
であり、
反対称律
を満たすもの
つまり、
反射律
、
推移律
、
反対称律
を満たす
半順序と全順序の違い
完全律を満たさないので、任意の元同士を常に比較できるわけではない