开集公理. formula_1 的子集的集合族formula_10称为开集系（其中的元素称为开集），当且仅当其满足如下开集公理：从开集出发定义其它各概念：
闭集公理.formula_1的子集的集合族formula_31称为闭集系（其中的元素称为闭集），当且仅当其满足如下闭集公理：（显然，闭集是开集的对偶概念）。从闭集出发定义其它各概念：
邻域公理.formula_1的映射formula_46（formula_47指