Es sei K {\displaystyle {}K} ein Körper. Ein Unterring M ⊆ K {\displaystyle {}M\subseteq K} , der zugleich ein Körper ist, heißt Unterkörper von K {\displaystyle {}K} .