n elemanlı bir X topolojik uzayının kaçık alt uzaylarının kümesini χ(X) ile gösterelim.
Bir 0≤k≤n tam sayısı için |χ(X)|=2k dir. Bu iddianın kanıtını n üzerinden tümevarım ile yapacağız.
n=0 : Bu durumda χ(X)=χ(ϕ)={ϕ} olduğundan |χ(X)|=20=1 dir.
n=1 : Bu durumda χ(X)={ϕ,X} olduğundan |χ(X)|=21=2 dir.
n≥2 : Önermenin eleman sayısı n den küçük uzaylar için doğru olduğunu varsayalım. |X|=n≥2 olsun.
χ(X)={ϕ,X} ise kanıtlanacak bir şey yoktur. O halde χ(X) de ϕ,X den farklı bir Y alt uzayı olduğunu varsayalım.
Bu durumda Z=X−Y de ϕ,X den farklı bir kaçık kümedir.
φ:χ(X)→χ(Y)×χ(Z) fonksiyonunu φ(A)=(A∩Y,A∩Z) olarak tanımlayalım. Bu fonksiyonun (1-1) ve örten olduğu kolayca görülebilir.
|Y|<|X| ve |Z|<|X| olduğundan tümevarım varsayımı gereğince bir takım 0≤r≤|Y| ve 0≤s≤|Z| ile
|χ(Y)|=2r ve |χ(Z)|=2s dir. O halde |χ(X)|=2r+s olur. Ayrıca r+s≤|Y|+ |Z|=|X| dir.