# Definition:Constructed Semantics

Let $\mathcal L$ be a formal language.
A constructed semantics for $\mathcal L$ is a formal semantics which is invented solely for proving a property about $\mathcal L$ or other entities related to $\mathcal L$.