数学闭包的定义