Positionen, Teilterme (Wiederholung)

• Term t, Position p $\in$ Pos(t).
• t(p) Symbol an Position p in t
• t$\mid_{p}^{}$ Teilterm an Position p in t
• t[p : = s] in t an Position p den Term s einsetzen

Beispiele:

• Term t = h(1, f (f (2))),
• Positionen Pos(t) = {$\epsilon$, 1, 2, 21, 211},
• Symbol t(2) = f,
• Teilterm t|₂ = f (f (2)),
• Teilterm ersetzen t[2 : = a] = h(1, a).