Definition:Rooted Tree/Branch

Definition
Let $T$ be a rooted tree with root node $r_T$.

A subset $\Gamma$ of $T$ is a branch all the following conditions hold:
 * $(1): \quad$ The root node $r_T$ belongs to $\Gamma$
 * $(2): \quad$ The parent of each node in $\Gamma \setminus \set {r_T}$ is in $\Gamma$
 * $(3): \quad$ Each node in $\Gamma$ either:
 * $\text {(a)}: \quad$ is a leaf node of $T$
 * or:
 * $\text {(b)}: \quad$ has exactly one child node in $\Gamma$.

Informally, a branch of a rooted tree is the path from the root to a leaf.

Also see

 * Node of Rooted Tree is on Branch
 * Leaf of Rooted Tree is on One Branch
 * Node of Rooted Tree with Multiple Children is on Multiple Branches