Definition:Rooted Tree/Branch/Length
Jump to navigation
Jump to search
This page is about Length in the context of branch of rooted tree. For other uses, see Length.
Definition
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
Sources
- 1996: H. Jerome Keisler and Joel Robbin: Mathematical Logic and Computability ... (previous) ... (next): $\S 1.7$: Tableaus