目录
5 关系: 内部代数，闭包 (计算机科学)，闭包 (数学)，闭包 (拓扑学)，闭包算子。
内部代数
在抽象代数中，内部代数是采用了集合的拓扑内部概念的特定类型的代数结构。内部代数之对于拓扑和模态逻辑 S4 如同布尔代数之对于集合论和普通命题逻辑。内部代数形成了模態代數的一个簇。.
查看 闭包和内部代数
闭包 (计算机科学)
在计算机科学中，闭包（Closure），又稱词法闭包（Lexical Closure）或函數閉包（function closures），是引用了自由变量的函数。这个被引用的自由变量将和这个函数一同存在，即使已经离开了创造它的环境也不例外。所以，有另一种说法认为闭包是由函数和与其相关的引用环境组合而成的实体。闭包在运行时可以有多个实例，不同的引用环境和相同的函数组合可以产生不同的实例。 闭包的概念出现于60年代，最早实现闭包的程序语言是Scheme。之后，闭包被广泛使用于函数式编程语言如ML语言和LISP。很多命令式程序语言也开始支持闭包。 在一些语言中，在函数中可以（嵌套）定义另一个函数时，如果内部的函数引用了外部的函数的变量，则可能产生闭包。运行时，一旦外部的 函数被执行，一个闭包就形成了，闭包中包含了内部函数的代码，以及所需外部函数中的变量的引用。其中所引用的变量称作上值(upvalue)。 闭包一词经常和匿名函数混淆。这可能是因为两者经常同时使用，但是它们是不同的概念。.
闭包 (数学)
数学中，若对某个集合的成员进行一種运算，生成的仍然是这个集合的成员，则该集合被称为在這个运算下闭合。 例如，实数在减法下闭合，但自然数不行：自然数 3 和 7 的减法 3 − 7 的结果不是自然数。 类似的，一个集合被称为在某些运算的搜集下闭合，如果它在每个运算之下都闭合。 一个集合在某个运算或某些运算的搜集下闭合被称为满足闭包性质。闭包性质经常作为公理，通常叫做闭包公理。现代集合论通常这样定义：运算为在集合间的映射。所以向一个结构增加闭包性質作为公理是多余的，尽管它对于子集是否闭合的问题仍有意义。 当一个集合 S 在某个运算下不闭合的时候，我们通常可以找到包含 S 的最小的闭合集合。这个最小闭合集合被称为 S 的（关于这个运算的）闭包。例如，若把自然数集看作实数集的子集，它在减法下的闭包就是整数集。一个重要的例子是拓扑闭包。闭包的概念推广为伽罗瓦连接，进一步为。 注意集合 S 必须是闭合集合的子集，這樣才能定义闭包算子。在前面的例子中，实数在减法下闭合是重要的，减法不总是在自然数的定义域中有定义的。 闭包这个词的两种用法不应混淆。前者用来提及闭合的性质，而后者提及包含不闭合集合的最小闭合集合。简要的说，一个集合的闭包满足闭包性质。.
查看 闭包和闭包 (数学)
闭包 (拓扑学)
数学上，在一個拓撲空間裡，子集S 的闭包是指由S 的所有点及S 的極限點所組成的一個集合；直觀上來說，即為所有「靠近」S 的點所組成的集合。在子集S 的閉包內的點稱為S 的閉包點。闭包的概念在許多方面能與内部的概念相類比。.
查看 闭包和闭包 (拓扑学)
闭包算子
在数学中，给定偏序集合 (P, ≤)，在 P 上的闭包算子是函数 C: P → P 带有如下性质.
查看 闭包和闭包算子