Definition:Rooted Subtree

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$.

Also see

 * Definition:Subtree (Graph Theory)