|X|<ℵ0 yani X kümesi sonlu ise bu küme üzerinde hangi topolojiyi alırsan al (|τ|≤2|X|<ℵ0 olacağından) uzay kompakt olacaktır. Sonlu uzaylarda bir topolojik uzayın T1 uzayı olması için gerek ve yeter koşul topolojinin diskret (ayrık) topoloji olmasıdır (kanıtı sitede vardı sanırım). O halde . . .