\(\tau_A=\mathcal{P}(A)=\{S\mid S\subseteq A\}\text{,}\) sehingga topologi subruang pada \(A\) diskret. Secara umum, setiap subruang berhingga tak kosong dari ruang komplemen berhingga adalah diskret.