Binarno stablo pretraživanja je binarno stablo s invarijantom uređenja : za svaki čvor, svi ključevi u njegovom lijevom podstablu su manji, a svi ključevi u njegovom desnom podstablu su veći. To vam omogućava pretraživanje tako što prepolovite problem na svakom koraku.
Invarijanta
text
8
/ \
3 10
/ \ \
1 6 14 left < node < right at every node
