Terme

• Signatur Σ mathend000#:

  Menge von Funktionssymbolen mit Stelligkeiten

• t∈Term(Σ) mathend000#: geordneter gerichteter Baum mit zu Σ mathend000# passender Knotenbeschriftung
• Σ mathend000#-Algebra:
  • Trägermenge D mathend000#
  • zu jedem k mathend000#-stelligen Symbol f∈Σ mathend000#
    eine Funktion [f] : D^k→D mathend000#.
  damit wird jedem t∈Term(Σ) mathend000# ein Wert [t]∈D mathend000# zugeordnet
• Term(Σ) mathend000# ist selbst eine Σ mathend000#-Algebra