Intersection of Relation with Inverse is Symmetric Relation

Theorem
Let $\mathcal R$ be a relation on a set $S$.

Then $\mathcal R \cap \mathcal R^{-1}$, the intersection of $\mathcal R$ with its inverse, is symmetric.

Proof
Let $(x, y) \in \mathcal R \cap \mathcal R^{-1}$

By definition of intersection:


 * $(x, y) \in \mathcal R$


 * $(x, y) \in \mathcal R^{-1}$

By definition of inverse relation:


 * $(x, y) \in \mathcal R \implies (y, x) \in \mathcal R^{-1}$


 * $(x, y) \in \mathcal R^{-1} \implies (y, x) \in \left ({\mathcal R^{-1}} \right )^{-1}$

By Inverse of Inverse Relation the second statement may be rewritten:


 * $(x, y) \in \mathcal R \implies (y, x) \in \mathcal R^{-1}$


 * $(x, y) \in \mathcal R^{-1} \implies (y, x) \in \mathcal R$

Then by definition of intersection:


 * $(y, x) \in \mathcal R \cap \mathcal R^{-1}$

Hence $\mathcal R \cap \mathcal R^{-1}$ is symmetric.