ハウスドルフ空間
Any product of Hausdorff spaces is again a Hausdorff space.