Eine Teilmenge K ⊆ L {\displaystyle {}K\subseteq L} eines Körpers L {\displaystyle {}L} heißt Unterkörper von L {\displaystyle {}L} , wenn folgende Eigenschaften gelten.