(X,τ1),(Y,τ2) topolojik uzaylar ve f:X→Y fonksiyon olmak üzere ((X,τ), kompakt uzay)(f,(τ1-τ2) sürekli)
Birinci (üstteki) soru işaretinin gerekçesine buradan ; ikinci (alttaki) soru işaretinin gerekçesine ise buradan ulaşabilirsiniz.