Diagonal Relation is Universally Congruent

Theorem
The diagonal relation $\Delta_S$ on a set $S$ is universally congruent with every operation on $S$.

Proof
We have that the diagonal relation is an equivalence relation.

Let $\left({S, \circ}\right)$ be any algebraic structure.

It can therefore be described as universally congruent.