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