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
So $\Delta_S$ is reflexive.

Symmetric
So $\Delta_S$ is symmetric.

Transitive
So $\Delta_S$ is transitive.