Hausdorff space
设 X 是紧致豪斯多夫空间、 f : X → Y 是商映射 ，则下列是等价的