Un espacio vectorial sobre un cuerpo formula_2 (como el cuerpo de los números reales o los números complejos) es un conjunto formula_10 no vacío, dotado de dos operaciones para las cuales será cerrado: