Subhimpunan buka-tertutup sejati \(A\) menghasilkan pemisahan \(A\) dan \(X\setminus A\text{.}\) Sebaliknya, setiap pemisahan \(U,V\) membuat \(U\) terbuka dan tertutup karena \(X\setminus U=V\text{.}\) Karena itu kedua kondisi ekuivalen.