(Hausdorff one-point compactification)