Saksi terbuka yang saling lepas di \(X\) tetap terbuka dan saling lepas setelah diiris dengan \(A\text{.}\) Untuk regularitas, wakili \(F=A\cap C\text{,}\) pisahkan titik dari \(C\) di \(X\text{,}\) lalu ambil jejak kedua lingkungan. Himpunan satu titik dalam \(A\) tertutup karena merupakan irisan \(A\) dengan himpunan satu titik tertutup dalam \(X\text{.}\)