Son unas de las estructuras más importantes en las ciencias de la computación. Proporcionan una representación natural para muchas clases de datos y son útiles para resolver una gran variedad de problemas algorítmicos.
Un árbol con tipo base T es un conjunto de uno o más nodos que cumplen:
a). Existe un nodo especial llamado raíz considerado el inicio del árbol.
b). Los nodos restantes están separados en n>=0 conjuntos distintos, cada uno de los cuales son a su vez un árbol (subárboles).
(1) / (2) (3) / | (4) (5) (6)