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