豪斯多夫空间
Any product of Hausdorff spaces is again a Hausdorff space.