設 $(M,d)$ 是一個 complete metric space, $F\subseteq M$ 是 closed set, 則 $(F,d)$ 這個 reduced metric space 亦 complete