完备空间一定是闭子空间。

任一紧致度量空间都是完备的。实际上，一个度量空间是紧致的当且仅当该空间是完备且完全有界的。 完备空间的任一子空间是完备的当且仅当它是一个闭子集。 若X为一集合，M是一个完备度量空间，则所有从X映射到M的有界函数f的集合B(X,M)是一个完备度量空间。

直观理解

在数学及其相关领域中，一个对象具有完备性，即它不需要添加任何其他元素，这个对象也可称为完备的或完全的。更精确地，可以从多个不同的角度来描述这个定义，同时可以引入完备化这个概念。

但是在不同的领域中，“完备”也有不同的含义，特别是在某些领域中，“完备化”的过程并不称为“完备化”，另有其他的表述，请参考代数闭域、紧化(compactification)或哥德尔不完备定理。