Achsen als Relationen

bezeichne mit C die child-relation. Das ist die Relation auf $\mathbb {N}$^* (= Positionen)

C = {(w, wx) | w $\in$ $\mathbb {N}$^*, x $\in$ $\mathbb {N}$}

Beispiel ([1, 4, 0],[1, 4, 0, 3]) $\in$ C.

• descendant = C⁺
• descendant-or-self = C^*
• parent P = C^-
• ancestor = P⁺ = (C^-)⁺
• ancestor-or-self = P^* = (C^-)^*