Definition:Rooted Tree/Branch/Length

From ProofWiki
Jump to navigation Jump to search

This page is about Length in the context of branch of rooted tree. For other uses, see 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.

Also see