Eine Körpererweiterung ${\displaystyle {}K\subseteq L}$ heißt separabel, wenn jeder Zwischenkörper ${\displaystyle {}K\subseteq M\subseteq L}$, der über ${\displaystyle {}K}$ endlich erzeugt ist, über ${\displaystyle {}K}$ separabel erzeugt ist.