Si "I" y "J" son dos ideales de un anillo "A", entonces se puede comprobar que el conjunto formula_22 es un ideal.