Uma árvore T é um conjunto finito de elementos denominados nós, tais que, se a árvore não está vazia, há um nó r chamado raiz de T. Os nós restantes constituem um conjunto vazio ou são divididos em conjuntos disjuntos não-vazios, cada qual uma árvore. Uma árvore com n > 1 nós tem, no mínimo, 1 folha e, no máximo, n – 1 folhas.