Sei K ⊆ L {\displaystyle {}K\subseteq L} eine Körpererweiterung.
Dann ist L {\displaystyle {}L} in natürlicher Weise ein K {\displaystyle {}K} -Vektorraum.
eine
Körpererweiterung.
in natürlicher Weise ein 
-Vektorraum.
