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: