Definição

Se $T = (V,A)$ é uma árvore e $r\in V$ é um vértice fixado como raiz de $T$, escrevemos $x \leq y$ sempre que $x,y \in V$ forem vértices tais que $x\in$ $rTy$. Isso de fato define uma relação de ordem sobre os vértices de $T$, como verificamos aqui.