Especificación explícita y formal de una conceptualización; descripción formal de un conjunto de conceptos, sus ropiedades y sus relaciones dentro de un dominio concreto.