Entonces con esta operación, formula_7 se convierte en un "álgebra" sobre formula_2 y formula_2 es el "cuerpo base" del álgebra formula_10.