Definição

Dado $G = (V,A)$ um grafo qualquer e $T$ um subgrafo que é uma árvore com raiz, dizemos que $T$ é uma árvore normal em $G$ se as extremidades de qualquer $T$-caminho são comparáveis na ordem de $T$ determinada pela escolha de sua raiz.