Théorème de la base incomplète

Soit E un espace vectoriel sur un corps |K.
On dit que E est de dimension finie s'il admet une famille génératrice finie. Dans le cas contraire, il est dit de dimension infinie.