Si "I" es un ideal bilátero del anillo A, la relación formula_30 es una relación de equivalencia compatible con las dos leyes del anillo.