Eine Transzendenzbasis ${\displaystyle {}x_{i}}$, ${\displaystyle {}i\in I}$, einer Körpererweiterung ${\displaystyle {}K\subseteq L}$ heißt separierend, wenn die endliche Körpererweiterung ${\displaystyle {}K{\left(x_{i},i\in I\right)}\subseteq L}$ separabel ist.

Eine Körpererweiterung ${\displaystyle {}K\subseteq L}$ heißt separabel erzeugt, wenn sie eine separierende Transzendenzbasis besitzt.

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.