Los subespacios de un espacio vectorial de dimensión finita también tienen, al menos, una base, de dimensión menor a la del espacio en el cual están contenidos.