Setiap himpunan buka tak kosong memuat \(0\text{.}\) Karena itu, dua himpunan buka tak kosong tidak pernah saling lepas. Pemisahan membutuhkan dua himpunan buka tak kosong yang saling lepas, sehingga pemisahan tidak mungkin ada.