Cuando en un cálculo C, se establece una "correspondencia" de cada símbolo con elementos determinados individuales distinguibles entre sí, de un Universo L, real (tal universo L no es un conjunto vacío, por las mismas condiciones que hemos establecido) ENTONCES se dice que L es un [[Modelo matemático|MODELO]] de C.