Hausdorff space
"N" をハウスドルフ空間とし、"N" の任意の点 "a" に対して、"a" を含む "m " 次元座標近傍 ("U", φ) が存在するとする。