Termalgebra (Bäume)

zu jeder Signatur Σ kann man die Algebra Term(Σ) konstruieren:

• Trägermenge sind alle typkorrekten Σ-Terme
• jedes Symbol f∈Σ wird durch „sich selbst`` implementiert

anderer Name für diese Algebra: algebraischer Datentyp.