Jika salah satu titik berada dalam setiap lingkungan titik lain, dua singleton tidak dapat memisahkan subruang. Jika kedua keanggotaan gagal, pilih lingkungan yang saling mengecualikan dan peroleh pemisahan.