Ada. Contoh \(\sigma=\{\emptyset,\{a\},\{b\},\{a,b\},\{a,c\},X\}\) bukan diskret, dan setiap topologi yang lebih kuat daripadanya adalah \(\mathcal P(X)\text{.}\)