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.

$$ $$ $$ $$