a_1也可以写为所有formula_52的并集：而formula_64是可数集。集合formula_1是可数个有限集的并集，因此是可数的。由于代数数的集合formula_1是可数集，因此在复平面上，代数数集合的勒贝格测度为零。在此意义上，可以说“几乎所有”的复数都不是代数数。给定一个代数数，在所有以formula_4为根的有理系数多项式中，存在唯一的一个首一多项式，其次数小于等于任何其他以formula_4为根的多项式。这个多项式称为极小多项式。如果极小多项式的次数为formula_5，则称该代数