Diagramme Atomique

Étant donnée une structure M et un langage enrichi par une constante pour chaque élément de M, le diagramme atomique est l'ensemble de toutes les phrases atomiques et négations de phrases atomiques dans ce langage enrichi qui sont vraies dans M ; il enregistre l'information atomique complète sur M relative à ces constantes.

Pour une structure A, le diagramme atomique AtDiag(A) est la partie du diagramme élémentaire ne constituée que des phrases atomiques (sans négations) dans le langage étendu par des constantes c_a nommant chaque élément de A qui sont vraies dans A.