Un árbol de búsqueda binaria es un árbol binario con un invariante de ordenamiento: para cada nodo, todas las claves en su subárbol izquierdo son menores, y todas las claves en su subárbol derecho son mayores. Esto te permite buscar dividiendo el problema por la mitad en cada paso.
El invariante
text
8
/ \
3 10
/ \ \
1 6 14 left < node < right at every node
