\begin{definition}[Definition:Rooted Tree/Branch/Length]
Let $T$ be a rooted tree with root node $r_T$.
Let $\Gamma$ be a finite branch of $T$.
The '''length''' of $\Gamma$ is defined as the number of ancestors of the leaf at the end of that branch.
\end{definition}