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