Operationen mit (Teil)Termen

• t[p] = der Teilterm von t an Position p

  Beispiel: S(f (S(S(Z())), Z()))[0, 1] = ...

  Definition (durch Induktion über die Länge von p): ...

• t[p : = s] : wie t, aber mit Term s an Position p

  Beispiel: S(f (S(S(Z())), Z()))[[0, 1] : = S(Z)]x = ...

  Definition (durch Induktion über die Länge von p): ...