Hausdorff space
second countable Hausdorff space and formula_5 is its