ハウスドルフ空間
A completely Hausdorff space, or functionally Hausdorff space, is a space in which any two distinct points can be separated by a continuous function.