Misalkan \(E\) suatu perluasan aljabar dari \(F\text{.}\) Jika setiap polinomial taktereduksi dalam \(F[x]\) yang memiliki sebuah akar dalam \(E\) memiliki semua akarnya dalam \(E\text{,}\) maka \(E\) disebut perluasan normal dari \(F\text{;}\) yaitu, setiap polinomial taktereduksi dalam \(F[x]\) yang memiliki sebuah akar dalam \(E\) merupakan hasil kali faktor-faktor linear dalam \(E[x]\text{.}\)