Definition 10.2 (Diagram). The diagram of $M$ (respectively elementary diagram), $D(M)$, is the set of quantifier-free $L_M$-sentences (respectively all $L_M$-sentences) true in $M$.