Petunjuk 1. Untuk tiap \(a\in O\text{,}\) pilih \(O_a\) terbuka dengan \(a\in O_a\subseteq O\text{.}\)

Petunjuk 2. Tunjukkan \(\bigcup_{a\in O}O_a\subseteq O\) dan inklusi sebaliknya. Kemudian gunakan penutupan \(\tau\) terhadap gabungan sebarang.