5.5.3.1 概念邻域与上下近似集约束