Completeness is reflected by the Hausdorff hyperspace (source code)

= Completeness is reflected by the Hausdorff hyperspace

If the Hausdorff hyperspace is complete, its closed subspace of singletons is complete. Since that subspace is isometric to the original metric space, the original space is complete as well.