如果体系的计算自由度等于其实际自由度，那么体系中没有多余约束。

如果体系的计算自由度大于零，那么体系一定是几何可变体系。

一个体系是有n个多余约束的几何不变体系，那么去掉n个约束后就成为无多余约束的几何不变体系。

如果在一个体系中增加一个约束，而体系的自由度并不因此减少，则称此约束为多余约束。

一体系是有n个自由度的几何可变体系，加入n个约束后就成为无多余约束的几何不变体系。

如果体系的计算自由度小于或着等于零，那么体系一定是几何不变体系。