Definition:Equivalence Relation Compatible with Operation