Definition:Rooted Subtree
Jump to navigation
Jump to search
Definition
Let $\struct {T, r_T}$ be a rooted tree.
A rooted subtree of $T$ is a rooted tree $\struct {S, r_S}$ such that:
- $S$ is a subtree of $T$
- $r_S = r_T$
Note that the second condition implies that $r_T \in S$.