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: