包含其自身的边界。换句话说，这个概念基于“外部”的概念，如果你在一个闭集的外部，你稍微“抖动”一下仍在这个集合的外部。注意，这个概念在边界为空的时候还是真的，比如在有理数的度量空间中，对于平方小于2的数的集合。任意多个闭集的交集是闭集；有限多个闭集的并集是闭集。特别的，空集和全空间是闭集。交集的性质也被用来定义空间formula_1上的集合formula_2的闭包，即formula_1的闭合子集中最小的formula_2的父集。特别的，formula_2的闭包可以通过所有的其闭合父集的交集来构造。