Şöyle bir tanım uydursak:
(X,τ∗) topolojik uzay olmak üzere
τ∗,X de kompatoloji:⇔{1) (X,τ∗), kompakt uzay2) (∀A⊊
\tau_{*},X \text{ de kompatoloji:}\Leftrightarrow (X,\tau_{*}),\text{ kompatolojik uzay}
Not: \ \mathcal{C}(X,\tau_{*}):=\{ A \ \big{|} X\setminus A\in\tau_{*} \}
Bir örnek aşikar indiskret topolojik uzay bu tanımı sağlar bu tanım için örnekler çoğaltılabilir mi?
İpucu:Hausdorff uzaylarda kompakt kümeler kapalıdır.