Closed singleton embedding in a Hausdorff hyperspace
= Closed singleton embedding in a Hausdorff hyperspace
The map $x\mapsto\{x\}$ is an isometry into the hyperspace of nonempty closed bounded subsets. Its image is closed because a Hausdorff limit of singletons has diameter zero and is therefore a singleton.