Lengua artificial que sirve para describir o explicar una lengua natural cualquiera o para hablar de ella y sus elementos con univocidad (metalenguaje).