하우스도르프 공간
A completely Hausdorff space, or functionally Hausdorff space, is a space in which any two distinct points can be separated by a continuous function.