ormula_1。formula_14 的元素被称为 formula_1 内的开集合。formula_1 的子集被称为闭集合，若其补集为 formula_14 内的元素（即其补集为开集合）。formula_1 的子集可能是开集合、闭集合、两者都是（闭开集），或两者都不是。空集合及 formula_1 自身永远都同时是开集合与闭集合。一个包含点 formula_37 的开集合称之为 formula_37 的「邻域」。一个具拓扑的集合称之为拓扑空间。
连续函数与同胚.拓扑空间之