Sea formula_1 un anillo conmutativo y formula_2 un conjunto de indeterminadas.