豪斯多夫空间
吉洪诺夫空间完全就是那些可以嵌入到紧致豪斯多夫空间内的空间。更精确地说，对于所有吉洪诺夫空间 "X"，存在紧致豪斯多夫空间 "K" 使得 "X" 同胚于 "K" 的一个子空间。