Un espacio vectorial sobre un cuerpo que se dice que tiene dimensión si existe una base de cardinal n.