Setiap himpunan terbuka dalam \(A\) berbentuk \(A\cap U\) untuk suatu \(U\) yang terbuka dalam \(X\text{.}\) Gunakan \(B\subseteq A\) untuk menyederhanakan \(B\cap(A\cap U)\text{.}\)