Körpererweiterung/Separabler Abschluss/Definition

Es sei ${\displaystyle {}K\subseteq L}$ eine Körpererweiterung. Unter dem separablen Abschluss (von ${\displaystyle {}K}$ in ${\displaystyle {}L}$) versteht man die Teilmenge ${\displaystyle {}S\subseteq L}$, die aus allen über ${\displaystyle {}K}$ separablen Elementen aus ${\displaystyle {}L}$ besteht.