Because of the all-important square root property, the field of constructible numbers can be characterized as an algebraic extension of the rationals.