Metalanguage

The language used to describe, define, or reason about another language (Object language) - e.g., English and mathematical notation when specifying Lambda calculus.