formula_20 内包含中心为 formula_6 的某一开球之任何子集。拓扑空间若可由某个度量空间形成，则称之为可度量化空间；更进一步的细节请见乌雷松度量化定理。度量空间 formula_20 内之序列 (formula_90) 称之为可收敛至极限 formula_91，若且唯若对于每个 formula_92，均存在一个自然数 formula_93，使得 formula_94，对于所有 formula_95。在拓扑空间内也有相对应的收敛之一般定义。度量空间 formula_20 内的子集