Definition: Addition von Unterräumen
Sei
ein Vektorraum über . Seien und Unterräume von . Die Summe
ist die Menge 
Dass es sich bei der Menge 
Proposition:
ist ein Vektorraum Sei
ein Vektorraum über . Seien und Unterräume von . Dann ist
ein Vektorraum von . 
Beweis
Seien 
Wir zeigen nach dem Unterraumkriterium, dass 
- 
Da
 , und , ist . - 
Seien
 beliebig. So gibt es und mit und . Dann gibt es auch und mit . Dann gilt:Da
 ist - 
Seien
 und . Dann gilt mit . Da und Unterräume sind, gilt Mit dem Unterraumkriterium folgt die Behauptung.