하우스도르프 공간
Conversely, every compactly generated Hausdorff space is a quotient of some locally compact Hausdorff space.