Diagrama Elemental

Para una estructura M en un lenguaje L, el diagrama elemental es el conjunto de todas las oraciones de primer orden en L(M) (donde L(M) es L ampliado con una constante para cada elemento de M) que son verdaderas en la expansión; registra cada hecho de primer orden sobre los elementos nombrados de M.

Dada una estructura A, el diagrama elemental Diag(A) es el conjunto de todas las oraciones atómicas y atómicas negadas en el lenguaje ampliado nombrando cada elemento a ∈ A mediante una nueva constante c_a, que son verdaderas en A. Registra la información atómica completa sobre A con constantes.