Definition:Rooted Subtree

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


Also see