[2DH]A metric space is a special case of topological space, because the open subsets of the metric space satisfy the Definition [0G6]↺↻; the associated topology is always Hausdorff. The following results therefore also apply to metric spaces.
