Signaturen und Algebren

• (mehrsortige) Signatur $\Sigma$

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

• A ist $\Sigma$-Algebra:

  Trägermenge und typkorrekte Zuordnung von Funktionssymbolen zu Funktionen

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