Bezeichnungen für Teilterme

• Position: Folge von natürlichen Zahlen

  (bezeichnet einen Pfad von der Wurzel zu einem Knoten)

  Beispiel: für t = S(f (S(S(Z())), Z()))

  ist [0, 1] eine Position in t.

• Pos(t) = die Menge der Positionen eines Terms t

  Definition: wenn t = f (t₁,…, t_k),

  dann Pos(t) = {[]}∪{[i - 1]++p | 1≤i≤k∧p∈Pos(t_i)}.

dabei bezeichnen:

• [] die leere Folge,
• [i] die Folge der Länge 1 mit Element i,
• ++ den Verkettungsoperator für Folgen