Dua titik dapat dipisahkan oleh interval basis saling lepas. Namun setiap lingkungan \(O\ni x\) memuat subruang tertutup \([x,b)\) yang tidak kompak; karena itu \(\overline O\) tidak mungkin kompak.