豪斯多夫空间
Note that the theorem still holds (perhaps vacuously) for "X" an arbitrary Hausdorff space and "Y" a Hausdorff space with countable π-base.