Definition:Subsignature/Supersignature
< Definition:Subsignature(Redirected from Definition:Supersignature)
Jump to navigation
Jump to search
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
Sources
- 2009: Kenneth Kunen: The Foundations of Mathematics ... (previous) ... (next): $\text{II}.8$ Further Semantic Notions