Equivalence Relation is Congruence iff Compatible with Operation

Theorem
Let $\struct {S, \circ}$ be an algebraic structure.

Let $\RR$ be an equivalence relation on $S$.

Then $\RR$ is a congruence relation for $\circ$ :

That is, $\RR$ is compatible with $\circ$.