Algebren

Zu einer Signatur Σ passende Algebra:

• für jedes Sortensymbol S_k eine nichtleere Menge M_k
• für jedes Funktionssymbol eine Funktion von dem Typ, der durch Interpretation der Sorten bestimmt wird

Beispiel (Vektorraum)

• K , V ³
• p ist Addition in , m ist Multiplikation in ,

  q ist Vektor-Addition in ³,

  n ist Multiplikation (Skalar mal Vektor)