Sean T un árbol ordenado y A el conjunto de todos los vértices de T.