Vektorraum/Erzeugendensysteme/Inklusion/Aufgabe

Es sei ein Körper und ein -Vektorraum. Es sei , , eine Familie von Vektoren in und , , eine weitere Familie von Vektoren in . Dann gilt für die aufgespannten Untervektorräume die Beziehung genau dann, wenn für alle gilt.