Diagram (mathematical logic)
= Diagram
{disambiguate=mathematical logic}
{wiki}
= Diagram of a structure
{synonym}
The diagram of $M$ is the set of atomic and negated atomic sentences true in the expansion by constants naming every element of $M$. Its elementary diagram contains every sentence true in that expansion. Models of these diagrams correspond respectively to embeddings and elementary embeddings of $M$.