Setiap \(U\in\tau\) merupakan lingkungan \(\sigma\) dari setiap titiknya, sehingga \(U\) adalah gabungan himpunan-himpunan \(\sigma\)-terbuka dan karenanya \(U\in\sigma\text{.}\) Ini memberi \(\tau\subseteq\sigma\text{;}\) simetri memberi inklusi balik.