section_heading: Brisanje
paragraph_text: Čvor x proslijeđen proceduri RB-DELETE-FIXUP je jedan od dva čvora: ili čvor koji je bio y-onovo jedino dijete prije nego što je y odvojen ako je y imao dijete koje nije bilo stražarska oznaka nil[T ], ili y nije uopće imao djece pa je x stražarska oznaka nil[T ]. U drugom slučaju bezuvjetna dodjela vrijednosti u liniji 7 garantira da je x-ev roditelj sada čvor koji je prethodno bio y-ov roditelj, ovisno o tome je li x unutarnji čvor koji s ključem ili stražarska oznaka nil[T]. Sad možemo analizirati kako procedura RB-DELETE-FIXUP obnavlja crveno-crna svojstva binarnom pretraživačkom stablu.