标签：可能是没有多余约束的几何不变体系，或者是有多余约束的几何不变体系