Termalgebra (Bäume)

zu jeder Signatur $\Sigma$ kann man die Algebra Term($\Sigma$) konstruieren:

• Trägermenge sind alle typkorrekten $\Sigma$-Terme
• jedes Symbol f $\in$ $\Sigma$ wird durch ,,sich selbst`` implementiert

anderer Name für diese Algebra: algebraischer Datentyp.