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.