\begin{definition}[Definition:Metalanguage]
A '''metalanguage''' is a language (either formal or natural) which is used to make statements about another language (again, either formal or natural).
\end{definition}