Википедия
Предпорядок
Предпоря́док — бинарное отношение на множестве , обладающее свойствами рефлексивности и транзитивности . Обычно это отношение обозначается ≤ , тогда аксиомы предпорядка на множестве M принимают вид:
∀a ∈ M: a ≤ a, $\forall a,b,c\in M\colon (a\leqslant b \and b\leqslant c)\Rightarrow(a\leqslant c)$.