(1) | \begin{equation} \forall \, x \in X : x R x \end{equation} | D287: Reflexive binary relation |
(2) | \begin{equation} \forall \, x, y \in X \left( x R y \quad \implies \quad y R x \right) \end{equation} | D294: Symmetric binary relation |
(3) | \begin{equation} \forall \, x, y, z \in R \left( x R y, y R z \quad \implies \quad x R z \right) \end{equation} | D288: Transitive binary relation |