（约定除数不为0）都能写成formula_15的形式，故仍然在集合之中。这个集合记作formula_16，是有理数域formula_8的二次扩域。
可构造数.可构造数也叫规矩数，指的是从给定的单位长度开始，能够通过有限次标准的尺规作图步骤做出的长度数值。所有可构造数的集合记为formula_18，是一个数域。因为给定了两个已经做出的线段后，可以通过符合尺规作图规定的手段，在有限步内作出长度为两者长度之和、差、乘积以及商的线段。formula_18是formula_8的扩域，次数为无限