Körpererweiterung/Algebraischer Abschluss/Definition

Algebraischer Abschluss in Erweiterung

Es sei  $K\subseteq L$  eine Körpererweiterung. Dann nennt man die Menge

$M=\{x\in L\mid x\text{ ist algebraisch über }K\}$

den algebraischen Abschluss von $K$ in $L$.