豪斯多夫空间
Compactly-generated Hausdorff space