ormula_14) 称之为「拓扑空间」。符号 "formula_28" 可用来标记具有特定拓扑 formula_14 的集合 formula_1。formula_14 的元素被称为 formula_1 内的开集合。formula_1 的子集被称为闭集合，若其补集为 formula_14 内的元素（即其补集为开集合）。formula_1 的子集可能是开集合、闭集合、两者都是（闭开集），或两者都不是。空集合及 formula_1 自身永远都同时是开集合与闭集合。一个包含点 formula_37 的开集合称