域是代数学的基本概念之一。即具有两个运算的代数系。设F是至少含两个元的集合，在F中定义了两个二元运算：一个称加法，使F成为加群，它的单位元称为F的零元；一个称乘法，使F的非零元构成一个交换群，加法与乘法满足分配律，此时称F为域。拟代数闭域(quasi-algebraically closed field)是一类特殊的域。C1域的旧称，始用于20世纪30年代。