\(\sigma\) adalah topologi. Subhimpunan yang hilang hanyalah \(\{c\}\) dan \(\{b,c\}\text{;}\) menambahkan salah satunya memaksa keduanya, sehingga diperoleh \(\mathcal P(X)\text{,}\) topologi diskret.