豪斯多夫空间
Conversely, every compactly generated Hausdorff space is a quotient of some locally compact Hausdorff space.