形体定义：在计算机内通常采用五个层次的拓扑来定义，如果考虑到壳，则为六层结构。

实体的六层拓扑结构： 形体——外壳——面——环——边——点。

正则化集合运算：经过集合运算生成的形体也应具有边界良好的有效几何形体，并保持初始形状的维数。

实际CAD的并，交，差运算，需要辅助一定的检测手段，以保证运算结果的正确有效。

欧拉检验公式：用于检验建模过程中的每一步所产生的中间形体的拓扑关系都是正确的。V-E+F=2（S-H）+R