Termalgebra (mehrsortig)

Menge S = {S₁,..., S_k} von Sorten

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

Wenn f $\in$ $\Sigma$, sort(f )= [S₁,..., S_k, T], t₁ $\in$ Term($\Sigma$, S₁),...t_k $\in$ Term($\Sigma$, S_k), dann f (t₁,..., t_k) $\in$ Term($\Sigma$, T).

(Funktionssymbol $\approx$ Konstruktor)