非正式地说，「拓扑」是指一个集合里的元素之间空间上的关连。相同的集合可以有不同的拓扑。例如，实数线、复平面及康托尔集可被视为具有不同拓扑的相同集合。形式上来看，令 formula_1 为一集合，且 formula_14 为 formula_1 的子集族；则 formula_14 称之为「formula_1 上的拓扑」，若：若 formula_14 为 formula_1 上的拓扑，则二元对 (formula_1, formula_14) 称之为「拓扑空间」。符号 "formula_28" 可用来标