Untuk setiap dua titik berbeda \(p,q\in X\times Y\text{,}\) harus dibangun lingkungan buka \(W_p,W_q\) yang masing-masing memuat satu titik dan saling lepas.