The space M is determined up to isometry by this property, and is called the completion of M.The completion of M can be constructed as a set of equivalence classes of Cauchy sequences in M.

• 新构造的完备度量空间M' 在等距同构意义下由该性质所唯一决定，称为M的 完备化空间 。