Si "I" y "J" son dos ideales de un anillo, se llama producto de "I" y "J" al ideal formula_32 engendrado por todos los elementos de la forma "xy" donde "x" pertenece a "I" e "y" pertenece a "J".