ハウスドルフ空間じゃない位相空間って必要か？

X, Y を位相空間、f : X → Y を単射連続写像とする。
Y がハウスドルフ空間であれば、X もハウスドルフ空間である。