Atomares Diagramm

Gegeben eine Struktur M und eine Erweiterung der Sprache durch Konstanten für jedes Element von M, ist das atomare Diagramm die Menge aller atomaren und negierten atomaren Sätze in dieser erweiterten Sprache, die in M wahr sind; es erfasst die vollständigen atomaren Informationen über M bezogen auf diese Konstanten.

Für eine Struktur A ist das atomare Diagramm AtDiag(A) der Teil des elementaren Diagramms, der nur aus atomaren Sätzen (ohne Negationen) in der durch Konstanten c_a für jedes Element a ∈ A erweiterten Sprache besteht und in A wahr ist.