定義
X を位相空間とする。

X の任意の相異なる２点 x, y に対して、
x と y のそれぞれの近傍 V, W で交わらないものがあるとする。

このとき X をハウスドルフ空間と言う。