Tahap 1: setiap titik \(x\in X\) memenuhi tepat satu di antara \(x\in A\) dan \(x\notin A\text{.}\) Tahap 2: kedua cabang telah memberi kesimpulan yang sama, yaitu \(x\in\Bdry(A)\text{.}\)