- Zu einem Untervektorraum
ist
-

ein Untervektorraum von
. Wenn
und
endlichdimensional
sind, so ist
-

- Zu einem Untervektorraum
ist
-

ein Untervektorraum von
, der zu
isomorph
ist. Wenn
und
endlichdimensional
sind, so ist
-

- Zu Untervektorräumen
und
ist
-

ein Untervektorraum von
. Wenn
und
endlichdimensional
sind, so ist
-

- Zu Untervektorräumen
und
ist
-

ein Untervektorraum von
.