Elementardiagramm

Für eine Struktur M in einer Sprache L ist das elementare Diagramm die Menge aller erstenordentlichen L(M)-Sätze (wobei L(M) durch eine Konstante für jedes Element von M erweitert wird), die in der erweiterten Struktur wahr sind; es dokumentiert jede erstordentliche Tatsache über die benannten Elemente von M.

Für eine Struktur A ist das elementare Diagramm Diag(A) die Menge aller atomaren und negierten atomaren Sätze in der Sprache, die durch Konstantsymbole c_a für jedes a ∈ A erweitert wurde, welche in A wahr sind. Es hält die vollständigen atomaren Informationen über A mit Konstantennamen fest.