Jika subruang memuat \(p\text{,}\) satu-satunya himpunan relatif buka yang memuat \(p\) adalah seluruh subruang.