A la hora de definir espacios vectoriales, se necesitan dos conjuntos, el conjunto de vectores V y el de escalares K y se consideran dos funciones: +:VxV-->V y *:KxV-->V, pero en la propiedad distributiva del producto por escalares respecto a la suma de escalares tenemos otra función +:KxK-->K.
Esta función viene definida por el hecho de K ser un cuerpo?