豪斯多夫空间
Compactly generated Hausdorff space