Diagonal Relation is Equivalence

Theorem
The diagonal relation $$\Delta_S$$ on $$S$$is always an equivalence in $$S$$:

Proof

 * Reflexive:

$$\forall x \in S: \left({x, x}\right) \in \Delta_S$$ (from its definition)


 * Symmetric:


 * Transitive: