Teilterme

t(p) ist Symbol an Position p $\in$ Pos(t):

(f (...))($\epsilon$) = f,(f (t₁,..., t_k))(iw) = t_i(w)

t|_p ist Teilterm von t an Position p $\in$ Pos(t):

t|_$\epsilon$ = t,(f (t₁,..., t_k))(iw) = t_i|_w