Subruang yang tidak memuat \(p\) bersifat diskret. Jika subruang memuat \(p\text{,}\) hubungkan setiap titik ke \(p\) dengan fungsi langkah.