mula_2一词涵盖了开集，闭集，邻域，开核，闭包，导集，滤子等若干概念。从这些概念出发，可以给拓扑空间formula_3作出若干种等价的定义。在教科书中最常见的定义是从开集开始的。 
开集公理. formula_1 的子集的集合族formula_10称为开集系（其中的元素称为开集），当且仅当其满足如下开集公理：从开集出发定义其它各概念：
闭集公理.formula_1的子集的集合族formula_31称为闭集系（其中的元素称为闭集），当且仅当其满足如