Signatur
Signaturen werden in der algebraischen Spezifikation verwendet (siehe algebraische Spezifikation). Eine Signatur ist ein Tripel (S, σ, c), wobei
• S eine Menge von Sortenbezeichnern ist,
• σ eine Menge von Operationsbezeichnern ist
• T eine Obermenge von S ist,
• die Schnittmenge aus T und σ leer ist und
• c eine Funktion σ → C(T) ist, die Operationsbezeichner auf Charakteristiken (siehe Charakteristik) abbildet.