Equivalence Relation is Congruence iff Compatible with Operation/Proof 2

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

Thus the result Preodrering of Products under Operation Compatible with Preordering can be applied directly.