Misalkan \(F\) suatu lapangan dan \(p(x) = a_0 + a_1 x + \cdots + a_n x^n\) polinomial takkonstan di \(F[x]\text{.}\) Perluasan lapangan \(E\) dari \(F\) disebut lapangan pemisah dari \(p(x)\) jika terdapat elemen-elemen \(\alpha_1, \ldots, \alpha_n\) di \(E\) sedemikian sehingga \(E = F( \alpha_1, \ldots, \alpha_n )\) dan
\begin{equation*}
p(x) = ( x - \alpha_1 )(x - \alpha_2) \cdots (x - \alpha_n)\text{.}
\end{equation*}
Polinomial \(p(x) \in F[x]\) disebut terpisah di \(E\) jika merupakan hasil kali faktor-faktor linear di \(E[x]\text{.}\)