As estruturas de dados do tipo árvore são não lineares, e apresentam, dentre outras, a seguinte propriedade:
A profundidade de um nó refere-se à sua distância do nó raiz.
Todos os nós de uma sub-árvore direita são menores que o nó raiz.
Cada árvore-binária é também uma sub-árvore.
Nó folha refere-se ao nós que não possuem filhos.
A expressão que representa o número de nós de uma árvore estritamente binária é 2n-1, onde n é o número de nós folha.