ormula_8中加入某个代数数扩成的，所以都是formula_22的子域。可构造数构成的数域formula_18也是formula_22的子域。由于虚数单位也是代数数，所以formula_22不是formula_10的子域。另一方面，自然对数的底以及圆周率都不是代数数，所以formula_10也不是formula_22的子域。