在一个体系上添加或者撤除若干二元体不会影响该体系的几何组成性质。