Et binært søgetræ er et binært træ med en orderings-invariant: for hver knude er alle nøgler i dets venstre undertræ mindre, og alle nøgler i dets højre undertræ er større. Dette lader dig søge ved at halvere problemet ved hvert trin.
Invarianten
text
8
/ \
3 10
/ \ \
1 6 14 left < node < right at every node
