Vocabolario di un linguaggio di indicizzazione controllato, organizzato in maniera formale, in maniera cioè da rendere esplicite le relazioni "a priori" fra i concetti (Fonte: ISO 2788).