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