Vektorraum/Endlich erzeugt/Dimension/Definition/Begriff

Die Dimension eines ${}K$-Vektorraums ${}V$ (${}V$ besitze ein endliches Erzeugendensystem).