反射的半順序

数学における「≤」記号で表される順序関係は、反射的半順序の一種である。

ある集合上の反射的半順序は、全ての要素が自分自身と関係を持つことを保証する。

この代数的構造を理解するには、その基盤となる反射的半順序の性質を把握する必要がある。