Misalkan \(F\) suatu lapangan. Polinomial \(f(x) \in F[x]\) berderajat \(n\) disebut separabel jika polinomial tersebut mempunyai \(n\) akar berbeda dalam lapangan pemisah dari \(f(x)\text{;}\) artinya, \(f(x)\) separabel apabila dapat difaktorkan menjadi faktor-faktor linear berbeda di atas lapangan pemisah dari \(f\text{.}\) Suatu perluasan \(E\) dari \(F\) merupakan perluasan separabel dari \(F\) jika setiap elemen dalam \(E\) merupakan akar dari polinomial separabel dalam \(F[x]\text{.}\)