Eingeschränkte Signatur

Für eine eingeschränkte Signatur gilt, dass für alle N ∈ σ die Form eines c(N) entweder s oder ((s1 ✕ s2 ✕ ... ✕ sk) → s) ist, wobei s, s1, s2, ..., sk ∈ T sind. Bezüglich einer eingeschränkten Signatur lässt sich die Menge der zugehörigen Terme angeben.