言い換えれば、与えられた閉集合族Fが閉基を成すのは、各閉集合AとAに属さぬ各点xに対し、Aを含みxを含まぬようなFの元が存在するときである。
等价的说，闭集族形成了闭集基，如果对于每个闭集A和每个不在A中的点x，存在一个F的元素包含A但不包含x。