数学分析中闭包的定义