ξ"的映射方式嵌入到新的完备度量空间"M' "中。易于验证，"M"等距同构于"M' "的稠密子空间。康托法构造实数是该完备化方法的一个特例：实数域是有理数域作为以通常的差的绝对值为距离的度量空间的完备化空间。
性质.康托尔的实数建构是上述构造的特例；此时实数集可表为有理数集对绝对值的完备化。倘若在有理数集上另取其它的绝对值，得到的完备空间则为p进数。若将上述流程施于赋范向量空间，可得到一个巴拿赫空间，原空间是其中的稠密子空间。若施于一个内积空间，得到的则是希尔伯特空间，原空