多様体の定義にハウスドルフ性が入っているのはなぜですか?