¿Cuándo una relación de equivalencia formula_1 en un anillo cualquiera formula_2 define una congruencia en formula_2? Es decir, cuándo para formula_4 formula_5 formula_6 se cumple que