在等距同构的意义下，任何距离空间都存在唯一的完备化空间.