Definition:Rooted Tree/Child Node/Grandchild Node

From ProofWiki
Jump to navigation Jump to search

Definition

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

Let $t$ be a node of $T$.


A child of a child node of a node $t$ can be referred to as a grandchild node of $t$.

In terms of the parent mapping $\pi$ of $T$, a grandchild node of $t$ is a node $s$ such that:

$\map \pi {\map \pi s} = t$