https://topospaces.subwiki.org/wiki/Hausdorffization
コレも旧スレから持ってくる。