Category:Equivalence Relation is Congruence iff Compatible with Operation