Körpererweiterung/Separabler Abschluss/Definition

Separabler Abschluss

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