泛函分析闭包的定义