一个可以通过有限次整数的加法、减法、乘法、除法和有限平方根运算表示的数。这样的数对应于只能用直尺和圆规构造的线段。
所有有理数都是可构造数，所有可构造数都是代数数 (Courant and Robbins 1996, p. 133)。如果一个有理系数的三次方程没有有理根，那么它的任何根都不可构造 (Courant and Robbins 1996, p. 136)。
特别是，设 
为有理数域。现在构造一个可构造数的扩张域 
，通过添加 
，其中 
在 
中，但 
不在，由所有形如 的数 
组成，其中 
，。接下来，构造 
的扩张域 
，通过添加 
，定义为形如 
的数，其中 
，并且 
是 
中的一个数，对于该数 
不在 
中。继续这个过程 
次。那么可构造数正是那些可以通过 扩张域 
序列达到的数，其中 
是构造“复杂度”的度量 (Courant and Robbins 1996)。
