Denotaremos por [x] la clase de equivalencia de x, o sea todos los elementos y en A tales que formula_31 y por A/I el conjunto formado por todas esas clases de equivalencia.