是封闭的，若且唯若每个在 formula_65 内的序列若可收敛至 formula_20 内的一极限，则该极限在 formula_65 内。
度量空间的类型.
完备空间.度量空间 M 称之为完备的，若每个柯西序列均收敛于 M 内，亦即：若 formula_101，其中 n 与 m 各自趋近于无限大，则存在某个 formula_102，使得 formula_103。每个欧氏空间都是完备的，而且该空间的每个闭子集也都是完备空间。使用绝对值度量 formula_