(mehrsortige) Signaturen

• Sorten-Symbole S = {S₁,…, S_i}
• Funktionssymbole F = {f₁,…, f_j}
• jeweils mit Sorten-Zuordnung T : F→S⁺

  schreibe T(f )= [s₁,…, s_k] als f : s₁×…×s_k-1→s_k

  Stelligkeit (Arität) von f ist | T(f )| - 1.

Beispiel:

• Sorten K, V
• Funktionen
  • p : [K, K, K], d. h. p : K×K→K
  • q : V×V→V, m : K×K→K, n : K×V→V