绝对值为距离的度量空间的完备化空间。
性质.康托尔的实数建构是上述构造的特例；此时实数集可表为有理数集对绝对值的完备化。倘若在有理数集上另取其它的绝对值，得到的完备空间则为p进数。若将上述流程施于赋范向量空间，可得到一个巴拿赫空间，原空间是其中的稠密子空间。若施于一个内积空间，得到的则是希尔伯特空间，原空间依然是其稠密子空间。