9上的可定义集只是有限多个线段与孤立点的联集。此性质称作O-极小性，它较量词消去为弱，却是研究formula_44上可定义集的几何构造之关键。量词消去也蕴含formula_30的可判定性，然而塔斯基给出的演算法其复杂度过高，并不实用。若承认广义连续统假设，则可进一步以超积描述实封闭域的性状。