Jika \(U\) klopen, tak kosong, dan bukan seluruh \(X\text{,}\) maka \(V=X\setminus U\) juga klopen dan tak kosong. Pasangan \(U,V\) saling lepas dan menutupi \(X\text{,}\) jadi merupakan pemisahan. Sebaliknya, bila \(X=U\sqcup V\) adalah pemisahan, kedua bagian buka dan saling merupakan komplemen, sehingga keduanya juga tertutup. Maka \(U\) adalah himpunan klopen sejati.