\begin{slide}{Teilterme}

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

$(f(\ldots))(\epsilon)= f, (f(t_1,\ldots,t_k))(iw) = t_i(w)$

\bigskip

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

$t|_{\epsilon}= t, (f(t_1,\ldots,t_k))(iw) = t_i|_w$

\end{slide}
