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)