Seja EST uma estrutura de dados definida da seguinte forma:EST é um conjunto finito de elementos
Seja EST uma estrutura de dados definida da seguinte forma:
EST é um conjunto finito de elementos denominados nós, tais que EST = 0, ou existe um nó especial r chamado raiz de EST; os restantes constituem um único conjunto vazio ou são divididos em m >= 1 conjuntos disjuntos não vazios, cada qual sendo por sua vez uma estrutura EST. Podemos afirmar que a estrutura EST é uma estrutura de dados do tipo:
