Koleksi \(\mathcal P(X)\) memuat \(\emptyset\) dan \(X\text{,}\) setiap gabungan sebarang subkoleksi anggotanya masih merupakan subhimpunan \(X\text{,}\) dan setiap irisan berhingga juga demikian. Jadi \(\mathcal P(X)\) adalah topologi, disebut topologi diskret. Untuk topologi apa pun \(\tau\) pada \(X\text{,}\) setiap anggota \(\tau\) sudah merupakan subhimpunan \(X\text{,}\) sehingga \(\tau\subseteq\mathcal P(X)\text{.}\) Oleh karena itu tidak ada topologi yang lebih kuat daripada topologi diskret.