Diagrama Atómico

Dada una estructura M y un lenguaje ampliado con una constante por cada elemento de M, el diagrama atómico es el conjunto de todas las oraciones atómicas y las atómicas negadas en ese lenguaje ampliado que son verdaderas en M; registra la información atómica completa sobre M respecto a esas constantes.

Para una estructura A, el diagrama atómico AtDiag(A) es la subparte del diagrama elemental consistente solo en las oraciones atómicas (sin negaciones) en el lenguaje ampliado por constantes c_a que nombran cada elemento de A y que son verdaderas en A.