Equivalence of Definitions of Reflexive Relation

Definition 1 implies Definition 2
Let $\RR$ be a relation.

We use a Proof by Contraposition by showing that:


 * $\Delta_S \not \subseteq \RR \implies \exists x \in S: \tuple {x, x} \notin \RR$

Thus, suppose:
 * $\Delta_S \not \subseteq \RR$

Then by definition of Diagonal Relation:
 * $\exists \tuple {x, x} \in S \times S: \tuple {x, x} \notin \RR$

Thus:
 * $\exists x \in S: \tuple {x, x} \notin \RR$

From Rule of Transposition it follows that:
 * $\forall x \in S: \tuple {x, x} \in \RR \implies \Delta_S \subseteq \RR$

Definition 2 implies Definition 1
Let $\RR$ be a relation which fulfils the condition:
 * $\Delta_S \subseteq \RR$

Then:

Thus $\RR$ is reflexive by Definition 1.