Completely regular Hausdorff space