Diagonal Relation is Transitive

Theorem
The diagonal relation $\Delta_S$ on a set $S$ is always a transitive relation in $S$.

Proof
So $\Delta_S$ is transitive.