"到紧致豪斯多夫空间β"X"的泛映射的技巧。拓扑空间"X"的斯通－切赫紧化β"X"是由"X"「生成」的最大的紧致豪斯多夫空间，意即任何从"X"到紧致豪斯多夫空间的映射，都可以经由β"X"分解。若"X"是吉洪诺夫空间，则从"X"到其在β"X"中的像的映射是同胚，因此可以想像"X"是在β"X"中的稠密子空间。对一般拓扑空间，从"X"到β"X"的映射未必是单射。证明任何拓扑空间都有斯通－切赫紧化，需用到选择公理的一个形式。即使"X"是颇简单的空间，β"X"通常也是很难以明白具体地描述。譬如βN \ N非空的各