El espacio formula_12 es un espacio vectorial con las operaciones siguientes: