Así a cada constante o variable del lenguaje usado para definir la teoría, le corresponde en el modelo un elemento concreto.