están bien definidas y dotan a formula_8 de una estructura de anillo conmutativo y unitario.