For any p ≥ 1, the metric space (Pp(M), Wp) is separable, and is complete if (M, d) is separable and complete.
Für jedes p ≥ 1 {\displaystyle p\geq 1} ist der metrische Raum ( P p ( M ) , W p ) {\displaystyle (P_{p}(M),W_{p})} separabel und vollständig, wenn ( M , d ) {\displaystyle (M,d)} separabel und vollständig ist.