Metric_Space_is_Hausdorff