Himpunan kosong dan \(X\) termasuk dalam koleksi kuasa \(\mathcal P(X)\text{.}\) Jika setiap \(U_i\subseteq X\text{,}\) maka \(\bigcup_iU_i\subseteq X\text{;}\) demikian pula irisan berhingga \(\bigcap_{j=1}^nU_j\subseteq X\text{.}\) Jadi koleksi kuasa tertutup terhadap operasi yang disyaratkan dan merupakan topologi diskret.