Charakteristik

Charakteristiken beschreiben Typen für Variable oder Operationen in der algebraischen Spezifikation (siehe algebraische Spezifikation). Eine Menge von Sortenbezeichnern T definiert die Menge der Charakteristiken C(T) wie folgt:

• T ⊆ C(T),
• c1, c2, ..., ck ∈ C(T) impliziert (c1 ✕ c2 ✕ ... ✕ ck) ∈ C(T),
• c1, c2 ∈ C(T) impliziert (c1 → c2) ∈ C(T) und
• C(T) ist minimal.