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