Un arbore binar de cautare este arbore rosu-negru daca ndeplineste urmatoarele proprietati:
1.Fiecare nod este rosu sau negru
2.Fiecare frunza Nil este neagra 3.Daca un nod este rosu, atunci ambii descendenti sunt negri 4.Pe orice cale ntre un nod si o frunza descendenta se afla acelasi numar de noduri negre.