一个拓扑空间。具体来说，formula_20 的子集 formula_80 称之为开的，若对于每个 formula_80 内的 formula_6，存在一个 formula_75，使得 formula_84 包含于 formula_80。开集的补集为闭集。点 formula_6 的邻域是指 formula_20 内包含中心为 formula_6 的某一开球之任何子集。拓扑空间若可由某个度量空间形成，则称之为可度量化空间；更进一步的细节请见乌雷松度量化定理。度量空间 formula_20 内之序列