Misalkan \(E\) perluasan lapangan dari lapangan \(F\text{.}\) Kita mendefinisikan penutupan aljabar dari lapangan \(F\) dalam \(E\) sebagai lapangan yang terdiri atas semua elemen di \(E\) yang aljabar atas \(F\text{.}\) Lapangan \(F\) disebut tertutup secara aljabar jika setiap polinomial takkonstan di \(F[x]\) memiliki akar di \(F\text{.}\)