Jika \(X\) berhingga dan \(O\subseteq X\text{,}\) maka \(X\setminus O\) juga berhingga. Jadi setiap subhimpunan \(O\) memenuhi syarat definisi topologi komplemen berhingga dan termasuk dalam \(\tau_{FC}\text{.}\) Sebaliknya, semua anggota \(\tau_{FC}\) adalah subhimpunan \(X\text{.}\) Maka \(\tau_{FC}=\mathcal P(X)\text{,}\) persis topologi diskret.