Şöyle bir tanım uydursak:
(X,τ∗) topolojik uzay olmak üzere
τ∗,X de kompatoloji:⇔{1) (X,τ∗), kompakt uzay2) (∀A⊊X)(A,τ∗-kompakt)3) A∈τ∗⇒A∈C(X,τ∗)
τ∗,X de kompatoloji:⇔(X,τ∗), kompatolojik uzay
Not: C(X,τ∗):={A |X∖A∈τ∗}
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.