Termalgebra

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

Die Menge Term($\Sigma$) ist die kleinste Menge T mit:

• für alle f $\in$ $\Sigma$: a = arity(f ): für alle t₁,..., t_a $\in$ T : f (t₁,..., t_a) $\in$ T.

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