15.8 给拓扑加约束