，是有理数域formula_8的二次扩域。
可构造数.可构造数也叫规矩数，指的是从给定的单位长度开始，能够通过有限次标准的尺规作图步骤做出的长度数值。所有可构造数的集合记为formula_18，是一个数域。因为给定了两个已经做出的线段后，可以通过符合尺规作图规定的手段，在有限步内作出长度为两者长度之和、差、乘积以及商的线段。formula_18是formula_8的扩域，次数为无限大，是实数域formula_10的子域。
代数数.代数数指能够成为某个有理系数