Symmetric Relation

This definition is more clearly described sybollically:

$$\begin{equation} \forall a,b \in X(aRb\,\iff\,bRa) \end{equation}$$

Tao’s definition:

Given any two objects $x$ and $y$ of the same type, if $x = y$, then $y = x$.

See also:

• Transitive Relation

• Reflexive Relation