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