闭包包含自由(未绑定到特定对象)变量;这些变量不是在这个代码块内或者任何全局上下文中定义的，而是在定义代码块的环境中定义(局部变量)。"闭包"一词来源于以下两者的结合:要执行的代码块(由于自由变量被包含在代码块中，这些自由变量以及它们引用的对象没有被释放)和为自由变量提供绑定的计算环境(作用域)。在PHP、Scala、Scheme、CommonLisp、Smalltalk、Groovy、JavaScript、Ruby、Python、Go、Lua、objectivec、swift以及Java(Java8及以上)等语言中都能找到对闭包不同程度的支持。集合A的闭包定义为所有包含A的闭集之交