在一个几何不变体系中增加一个二元体，不改变原体系的几何不变性。