April 20, 2025Symmetry A homogeneous binary relation is symmetric if and only if $(a, b) \in R \implies (b, a) \in R$, for all $(a, b) \in R$.