a_1上的集合formula_2的闭包，即formula_1的闭合子集中最小的formula_2的父集。特别的，formula_2的闭包可以通过所有的其闭合父集的交集来构造。
细说.上述闭集的定义是根据开集而来得，这一概念在拓扑空间上是有意义的，同时也适用于含有拓扑结构的其他空间，如度量空间、可微流形、一致空间和规格空间。另一种对闭集的定义是通过序列。拓扑空间formula_1上的子集formula_2是闭合的，当且仅当formula_2的元素组成的任意序列的任意极限仍然属于