Un árbol binario es una estructura de datos jerárquica en la que cada elemento (llamado nodo) puede tener, como máximo, dos hijos.
A estos dos hijos se les conoce habitualmente como hijo izquierdo e hijo derecho.
Nodo Raíz: Es el nodo superior del árbol, el punto de partida. No tiene padres.
Nodos Padre e Hijo: Si un nodo se conecta a otro por debajo, el de arriba es el "padre" y el de abajo es el "hijo".
Nodos Hoja: Son los nodos que se encuentran al final del árbol y no tienen ningún hijo.
A diferencia de las listas o arreglos (arrays) que son lineales, los árboles binarios permiten organizar la información de una forma que facilita búsquedas y ordenamientos extremadamente rápidos.
El ejemplo más común es el Árbol Binario de Búsqueda (BST), donde se sigue una regla muy simple pero poderosa:
Para cualquier nodo, todos los datos en su lado izquierdo son menores, y todos los datos en su lado derecho son mayores.
Esta simple propiedad reduce drásticamente el tiempo que toma encontrar un elemento, ya que en cada paso puedes descartar la mitad del árbol (muy parecido a cómo funciona la búsqueda binaria).