斯多夫空间内的空间。更精确地说，对于所有吉洪诺夫空间 "X"，存在紧致豪斯多夫空间 "K" 使得 "X" 同胚于 "K" 的一个子空间。事实上，你总是可以选择 "K" 为立方体 (就是说，单位区间的可能无限乘积)。所有立方体都是紧致豪斯多夫空间是吉洪诺夫定理的一个结论。因为所有紧致豪斯多夫空间的子空间都是吉洪诺夫空间，所以:
紧致化.特别有趣的嵌入是"X" 的像是 "K" 中的稠密集；这叫做 "X" 的豪斯多夫紧致化。给定任何吉洪诺夫空间 "X" 到紧致豪斯多夫空间 "K" 的