4.1.4 “重合”约束