ein Vektorraum V, der ein Erzeugendensystem {e₁, …, e_n} aus endlich vielen Elementen besitzt. Jeder endlich erzeugte Vektorraum besitzt eine endliche Basis und ist von endlicher Dimension.

Untervektorräume endlich erzeugter Vektorräume sind selbst endlich erzeugt.