Conjunto finito de uno o más nodos tales que: Existe un nodo especial denominado raiz (v1) del árbol y los nodos restantes (v2, v3,..., vn) se dividen en m>=0 conjuntos disjuntos denominado A1, A2,... , Am cada uno de los cuales es, a su vez, un árbol. Estos árboles se llaman subárboles del raiz.