规可作性这一概念。假设平面上有两个已知的点O和A，以OA为单位长度，射线OA为x轴正向可以为平面建立一个标准直角坐标系，平面中的点可以用横坐标和纵坐标表示，整个平面可以等价于formula_15。设formula_16是formula_15的一个非空子集。如果某直线formula_18经过formula_16中不同的两点，就说formula_18是formula_16-尺规可作的，简称formula_16-可作。同样地，如果某个圆formula_23的圆心和圆上的某个点是formula_16中的元素，就