formula_182 hereda las operaciones de formula_32 como aplicaciones bien definidas, es decir que no escapan de formula_182, y como consecuencia tenemos que formula_182 es un espacio vectorial sobre formula_125.