Definition:Rooted Tree/Ancestor 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$.


An ancestor node of $t$ is a node in the path from $t$ to $r_T$.


Proper Ancestor

A proper ancestor node of $t$ is an ancestor node of $t$ that is not $t$ itself.


Also see

  • Results about ancestor nodes can be found here.


Sources