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\).