Diagramme Élémentaire

Pour une structure M dans un langage L, le diagramme élémentaire est l'ensemble de toutes les phrases du premier ordre en L(M) (où L(M) est L élargi par une constante pour chaque élément de M) qui sont vraies dans la structure élargie ; il enregistre tous les faits du premier ordre portant sur les éléments nommés de M.

Pour une structure A, le diagramme élémentaire Diag(A) est l'ensemble de toutes les phrases atomiques et atomiques négatives dans le langage étendu par des constantes c_a nommant chaque élément a ∈ A, qui sont vraies dans A. Il enregistre l'information atomique complète sur A lorsque les éléments sont nommés.