# Symmetric relation > A binary relation $R$ over a set $X$ is **symmetric** if: $\forall a,b \in X (aRb \iff bRa)$. A $R$ over a set $X$ is **symmetric** if: $\forall a,b \in X (aRb \iff bRa)$.