Diagonal Relation is Reflexive

From ProofWiki
Jump to navigation Jump to search

Theorem

The diagonal relation $\Delta_S$ on a set $S$ is a reflexive relation in $S$.


Proof

\(\ds \forall x \in S: \, \) \(\ds x\) \(=\) \(\ds x\) Definition of Equals
\(\ds \leadsto \ \ \) \(\ds \tuple {x, x}\) \(\in\) \(\ds \Delta_S\) Definition of Diagonal Relation

So $\Delta_S$ is reflexive.

$\blacksquare$