想要理解几何约束求解那么就必须要了解什么是几何体。几何体的定义是一个几何图形中最基本最具有特征的几何元素。例如2维中的点、直线、线段、圆、圆弧和三维中的平面、球面、曲面等。

在几何体的定义上引申出来的几何约束的定义是，两个或多个几何体之间所具有的几何关系。例如点与点之间的距离，直线和直线之间的角度，两条直线垂直，直线与圆相切等。

陈东风自从接过几何约束的问题后，就全心全意的投入到了其中，他首先将几何形式的几何约束进行了分类，不外乎几何形式的几何约束和代数代数形式的几何约束。

几何形式的几何约束包括尺寸约束和拓扑约束。

所谓尺寸约束一般是由用户显式输入的。通常包括两点之间的距离、直线与直线之间的角度、点到直线的距离、半径约束和两条平行直线之间的距离等。

所谓拓扑约束束一般是隐含的，是由系统根据草图自动建立的。通常包括水平约、两条直线平行和垂直、三点共线、两个角相等、两个圆共心等。