定义.设formula_2是复数域formula_1的子集。若formula_2中包含0与1，并且formula_2中任两个数的和、差、乘积以及商（约定除数不为0）都仍在formula_2中，就称formula_2为一个数域。用域论的话语来说，复数域的子域是为数域。任何数域都包括有理数域formula_8，但并不一定是formula_8的有限扩张，因此数域不一定是代数数域。例如实数域formula_10和复数域formula_1都不是代数数域。反之，每个代数数域都同构于某个数域