Signaturen und Algebren

• (mehrsortige) Signatur Σ

  Menge von Funktionssymbolen, für jedes: Liste von Argumenttypen, Resultattyp

• A ist Σ-Algebra:

  Trägermenge und typkorrekte Zuordnung von Funktionssymbolen zu Funktionen

• Beispiel: Signatur für Vektorraum V über Körper K