>>170
Xは一般にHausdorff空間であればよい。
なんだか話がごちゃごちゃしてごめんw