Definition:Rooted Tree/Ancestor Node/Proper
< Definition:Rooted Tree | Ancestor Node(Redirected from Definition:Proper Ancestor Node)
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 proper ancestor node of $t$ is an ancestor node of $t$ that is not $t$ itself.
Sources
- 1996: H. Jerome Keisler and Joel Robbin: Mathematical Logic and Computability ... (previous) ... (next): $\S 1.7$: Tableaus