језик који служи за описивање структуре неког другог језика; апстрактни, максимално логични језик научне анализе и дефиниције, саздан од апстрактних јединица, симбола.