Definition:Subsignature/Supersignature

From ProofWiki
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