Congruence Relation iff Compatible with Operation/Proof 2

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

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