Definition:Rooted Tree/Proper Descendant

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