Diagonal Relation is Universally Compatible

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

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