Es sei
ein
Körper
und
ein
-Vektorraum. Dann gelten folgende Aussagen.
- Sei
,
, eine Familie von
Untervektorräumen. Dann ist auch der Durchschnitt
-
ein Untervektorraum.
- Zu einer Familie
,
, von Elementen in
ist der
erzeugte Unterraum ein Unterraum von
. Er stimmt mit dem Durchschnitt
-
überein.
- Die Familie
,
, ist genau dann ein Erzeugendensystem von
, wenn
-
ist.