>>835
ハウスドルフだから2点それぞれの近傍でその交わりが空なものが存在する
と書けば「ああ、それがハウスドルフ空間の定義でしたっけ」ってことになる