Diagonal Relation is Equivalence

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

Proof
Checking in turn each of the criteria for equivalence:


 * Reflexive:

$$


 * Symmetric:

$$ $$ $$


 * Transitive:

$$ $$ $$ $$