\begin{definition}[Definition:Rooted Tree/Proper Descendant]
Let $T$ be a rooted tree with root $r_T$.
Let $t$ be a node of $T$.
A '''proper descendant node''' of $t$ is a descendant of $t$ which is not $t$ itself.
Category:Definitions/Rooted Trees
\end{definition}