Hausdorff space
（このことを応用して、例えば、ハウスドルフ空間における任意の道 (path) はコンパクト距離化可能であることなどがわかる）。