Et binært søketre er et binært tre med en ordningsinvariant: for hver node er alle nøkler i venstre undertre mindre, og alle nøkler i høyre undertre større. Dette lar deg søke ved å halvere problemet ved hvert trinn.
The invariant
text
8
/ \
3 10
/ \ \
1 6 14 left < node < right at every node
