Equivalence of Definitions of Coreflexive Relation

Theorem
The following definitions of coreflexive relation are equivalent:

Definition 1 implies Definition 2
Let $\mathcal R$ be a relation which fulfils the condition:
 * $\forall x, y \in S: \left({x, y}\right) \in \mathcal R \implies x = y$

Then:

Hence $\mathcal R$ is coreflexive by definition 2.

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

Thus:

Hence $\mathcal R$ is coreflexive by definition 1.