Definition:Subsignature/Supersignature

Definition
Let $\LL, \LL'$ be signatures for the language of predicate logic. Let $\LL$ be a subsignature of $\LL'$.

Then $\LL'$ is said to be a supersignature of $\LL$, denoted:


 * $\LL' \supseteq \LL$

Also see

 * Definition:Signature for Predicate Logic


 * Definition:Expansion of Structure
 * Definition:Reduct of Structure