Closed-subspace completeness theorem
= Closed-subspace completeness theorem
A closed subspace of a complete metric space is complete. A Cauchy sequence in the subspace converges in the ambient space, and closedness keeps its limit in the subspace.