反射函子为β。
构造.
用单位区间构造.构造β"X"的一个方法是考虑映射其中"C"是所有从"X"到[0, 1]的连续映射的集合。若赋予[0, 1]积拓扑，那么这映射是连续的。因为[0,1]是紧致集，由吉洪诺夫定理（与选择公理等价）可知[0, 1]也是紧致集。因此"X"在[0, 1]中的像的闭包是"X"的一个紧化。这个紧化就是斯通－切赫紧化。要证明这个结果，只要检验这个紧化符合应有的泛性质。首先检验"K" = [0, 1]，映射"f": "X" → [0,