Union of Symmetric Relations is Symmetric

Theorem
The union of two symmetric relations is also a symmetric relation.

Proof
Let $\mathcal R_1$ and $\mathcal R_2$ be symmetric relations on a set $S$.

Let $\mathcal R_3 = \mathcal R_1 \cup \mathcal R_2$.

Then: