Único caminho entre dois vértices em uma árvore

Notação

Nos resultados dessa seção, vimos que, em uma árvore $T = (V,A)$, dois vértices $x,y\in T$ são extremidades de um único caminho em $T$, que é comumente denotado por $xTy$.