Equivalence Relation is Congruence iff Compatible with Operation/Proof 2

Proof
We have that an equivalence relation is a (symmetric) preordering.

Thus the result Preorder Compatible with Operation is Congruence can be applied directly.