吉洪諾夫定理

一個乘積空間 是緊緻的當且僅當 對於所有， 是緊緻的。換句話說，任意數量的緊緻空間的拓撲積是緊緻的。特別是，緊緻性是一個積屬性。因此，每個希爾伯特立方體都是緊緻的。

正如 Kelley (1950) 所證明的，這個陳述蘊涵了選擇公理。