Tepat ada empat topologi: \(\{\emptyset,X\}\text{,}\) \(\{\emptyset,\{a\},X\}\text{,}\) \(\{\emptyset,\{b\},X\}\text{,}\) dan \(\{\emptyset,\{a\},\{b\},X\}=\mathcal P(X)\text{.}\)