Es la interpretación de una proposición o enunciado lingüístico bajo la formalización de la teoría de conjuntos.