Se espera que formula_54 sea un espacio afín sobre formula_55 con formula_56 por tanto está bien definida, además ha de cumplir las dos condiciones de espacio afín: