在一个几何不变体系上增加或拆除二元体，不会改变原体系的几何构造性质。