Confronto Tra Topologie

Topologie più fini, meno fini e confrontabili

Siano $\tau ,{\tau }^{\prime }$ due topologie. Si dice che $\tau$ è più fine di ${\tau }^{\prime }$ se ${\tau }^{\prime }\subseteq \tau$. Quindi tutti gli aperti di ${\tau }^{\prime }$ sono aperti anche in $\tau$.
Se $\tau \subseteq {\tau }^{\prime }\vee {\tau }^{\prime }\subseteq \tau$ allora si dice che le due topologie sono confrontabili.