Es ist leicht zu erkennen, dass V+V⊂V und W+W⊂W gilt,
woraus die additive Abgeschlossenheit von V+W folgt.
Ferner ist offenbar für relle λ≥0 :
λ⋅V⊂V und λ⋅W⊂W, also
auch λ⋅(V+W)⊂V+W.
Für reelle λ<0 bekommt man
λ⋅V⊂W und λ⋅W⊂V, also
λ⋅(V+W)⊂λ⋅V+λ⋅W⊂W+V=V+W.