\newcommand{\sort}{\operatorname{sort}}

\begin{slide}{Termalgebra (mehrsortig)}

Menge $S=\{S_1,\ldots,S_k\}$ von \emph{Sorten}

``sortierte'' Signatur $\Sigma$ is Menge von Symbolen
und Abbildung $\sort: \Sigma\to S^+$

Wenn $f\in\Sigma, \sort(f)=[S_1,\ldots,S_k,T],
t_1\in \Term(\Sigma,S_1),\ldots
t_k\in \Term(\Sigma,S_k),$
dann $f(t_1,\ldots,t_k)\in \Term(\Sigma,T)$.

(Funktionssymbol $\approx$ Konstruktor)

\end{slide}
