Category:Congruence Relation iff Compatible with Operation