我看这两个'闭包'的概念，定义上怎么看起来差的很远呢?
多谢指点。

不一样，不过都是closure这个单词

我记得 SICP 用数学定义的呢

不一样，程序语言中流行的这个闭包都源自lisp，特指函数和其所捕获的自由变量的值所组合成的数据结构。这个概念在SICP中有说，但是感觉没说清楚，你首先要明白什么是自由变量，然后要明白什么是捕获，最后还要明白数据结构，这三个概念。

A set has closure under an operation if performance of that operation on members of the set always produces a member of the same set; in this case we also say that the set is closed under the operation. 你怎么定义函数让它映射回 the same set？这里的问题在于 closed，在 lambda 表达式中如果没有自由变量，则称这个表达式是 closed。如果这里混淆这两个概念的话，就会发现两种闭包的定义是差不多的。但是毕竟是混淆概念了……