Position eines Knotens (Teilterm) beschreiben durch Pfad von der Wurzel:
Pos(t) * ist Menge der Positionen von Term t:
Pos(f (t1,..., tk)) = {} {i} . Pos(ti)
Übung: gibt es einen Term t mit Pos(t) = {, 1, 21, 113}? Welche Eigenschaften erfüllt jede Menge Pos(t)?