的闭包是指由所有"S" 的闭包点所组成的集合。"S" 的闭包写作 cl("S")，Cl("S") 或 "S"。集合的闭包具有如下性质：上述第二或第三条性质可作为拓扑闭包的"定义"。在第一可数空间（如度量空间）中，cl("S") 是所有点的收敛序列的所有极限。注意，若将“闭包”、“交集”、“包含”、“最小”、“闭”等词汇相应替换成“内部”、“并集”、“包含于”、“最大”、“开”，上述性质仍然成立。更多信息请参看下面的“闭包算子”。
其他性质.若 formula_1