하우스도르프 공간
Note that the theorem still holds (perhaps vacuously) for "X" an arbitrary Hausdorff space and "Y" a Hausdorff space with countable π-base.