Mehrsortiger Signaturen/Algebren

Sorte:(Name für einen ) Typ

mehrsortige Signatur zu Sorten S₁,..., S_n:

eine Menge von Funktionssymbolen, zu jedem ein Tupel von Sorten (A₁,..., A_k, R)

mehrsortige Algebra

für jede Sorte S eine Menge [S],

für jedes Funktionssymbol f eine Funktion [f] vom entsprechenden Typ.