Definition:Extension of Rooted Tree
Jump to navigation
Jump to search
Definition
Let $\left({T, r_T}\right)$ and $\left({S, r_S}\right)$ be rooted trees.
Then $\left({S, r_S}\right)$ is an extension of $T$ if and only if:
- $T$ is a subtree of $S$;
- $r_S = r_T$.
That is, if and only if $T$ is a rooted subtree of $S$.
This article is complete as far as it goes, but it could do with expansion. In particular: Define using parent mapping You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding this information. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Expand}} from the code.If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page. |