Dentro do conceito de modelo matemático, ao se empregar uma estrutura de dados, um algoritmo é um processo sistemático para a resolução de um problema, sob essa perspectiva, as árvores constituem estruturas não sequenciais com maior aplicação em computação, logo, toda árvore com n nós que possui exatamente n + 1 subárvores vazias entre suas subárvores esquerdas e direitas é denominada: