\newcommand{\arity}{\operatorname{arity}}
\newcommand{\Term}{\operatorname{Term}}
\newcommand{\NN}{\mathbb{N}}

\begin{slide}{Termalgebra}

Eine (``ranked'') \emph{Signatur} $\Sigma$
ist eine Menge von Funktionssymbolen
mit einer Abbildung $\arity: \Sigma\to\NN$.

Die Menge $\Term(\Sigma)$ ist die kleinste Menge $T$ mit:
\begin{itemize}
\item für alle $f\in\Sigma$: $a=\arity(f)$:
  für alle $t_1,\ldots,t_a\in T: f(t_1,\ldots,t_a)\in T$.
\end{itemize}

(Das ist eine induktive Definition.
Wo ist der Induktionsanfang?)

\end{slide}

