Arah pertama. Jika \(U\) terbuka dalam \(O\text{,}\) tuliskan \(U=O\cap V\) untuk suatu \(V\) yang terbuka dalam \(X\text{.}\)

Arah kedua. Jika \(U\) terbuka dalam \(X\text{,}\) gunakan kesamaan sederhana \(U=O\cap U\text{.}\)