(1) | $\forall \, x \in X : x \preceq x$ (D287: Reflexive binary relation) |
(2) | $\forall \, x, y, z \in X \, (x \preceq y \preceq z \quad \implies \quad x \preceq z)$ (D288: Transitive binary relation) |
(3) | $\forall \, x, y \in X \, (x \preceq y \text{ and } y \preceq x \quad \implies \quad x = y)$ (D289: Antisymmetric binary relation) |