The Theorem of Alexandroff
Part of the Graduate Texts in Mathematics book series (GTM, volume 2)
Any subset of a metric space is itself a metric space, with the same distance function. It is obvious that any closed subset of a complete metric space is complete with respect to the same metric.
© Springer-Verlag New York 1971