Intersection of Symmetric Relations is Symmetric

From ProofWiki
Jump to navigation Jump to search

Theorem

The intersection of two symmetric relations is also a symmetric relation.


Proof

Let $\RR_1$ and $\RR_2$ be symmetric relations on a set $S$.

Let $\RR_3 = \RR_1 \cap \RR_2$.

Then:

\(\ds \tuple {x, y}\) \(\in\) \(\ds \RR_3\)
\(\ds \leadsto \ \ \) \(\ds \tuple {x, y}\) \(\in\) \(\ds \RR_1\) Definition of Set Intersection
\(\, \ds \land \, \) \(\ds \tuple {x, y}\) \(\in\) \(\ds \RR_2\)
\(\ds \leadsto \ \ \) \(\ds \tuple {y, x}\) \(\in\) \(\ds \RR_1\) Definition of Symmetric Relation
\(\, \ds \land \, \) \(\ds \tuple {y, x}\) \(\in\) \(\ds \RR_2\)
\(\ds \leadsto \ \ \) \(\ds \tuple {y, x}\) \(\in\) \(\ds \RR_3\) Definition of Set Intersection

$\blacksquare$