ในทฤษฎีแบบจำลองซึ่งเป็นสาขาหนึ่งของตรรกศาสตร์ทางคณิตศาสตร์แผนภาพของโครงสร้างคือเซตของประโยคที่มีพารามิเตอร์จากโครงสร้างนั้น ซึ่งเป็นจริงในโครงสร้างนั้น โดยอาจใช้สัญลักษณ์ `_` หรือ ` _` แทนโครงสร้างนั้นโดยปกติแล้ว 'แผนภาพ' หมายถึงแผนภาพอะตอมิกซึ่งประกอบด้วยเฉพาะประโยคอะตอมิกและประโยคอะตอมิกที่ถูกปฏิเสธซึ่งเป็นจริงในโครงสร้างนั้น เรายังสามารถกำหนดแผนภาพพื้นฐานซึ่งประกอบด้วยประโยคที่เป็นจริงทั้งหมด ได้อีกด้วย${\displaystyle D({\mathfrak {A}})}$${\displaystyle {\text{Diag}}({\mathfrak {A}})}$${\displaystyle {\mathfrak {A}}}$

แผนภาพเป็นเครื่องมือที่เรียบง่ายแต่ทรงพลังสำหรับการพิสูจน์คุณสมบัติที่มีประโยชน์ของทฤษฎีเช่นคุณสมบัติการรวมตัวและคุณสมบัติการฝังตัวร่วมกันเป็นต้น ชื่อ 'แผนภาพ' ได้รับการแนะนำโดยAbraham Robinsonซึ่งเป็นนักทฤษฎีแบบจำลองคนแรกที่ใช้แผนภาพอย่างเป็นระบบ^{[ 1 ]}

ให้เป็นภาษาลำดับที่หนึ่งและให้ เป็นทฤษฎีเหนือสำหรับแบบจำลองของจะขยายไปสู่ภาษาใหม่ ${\displaystyle {\mathcal {L}}}$${\displaystyle T}$${\displaystyle {\mathcal {L}}.}$${\displaystyle {\mathfrak {A}}}$${\displaystyle T}$${\displaystyle {\mathcal {L}}}$

${\displaystyle {\mathcal {L}}_{A}:={\mathcal {L}}\cup \{c_{i}:a_{i}\in A\}}$

โดยการเพิ่มสัญลักษณ์ค่าคงที่ใหม่สำหรับแต่ละองค์ประกอบในที่ซึ่งเป็นเซตย่อย (ไม่จำเป็นต้องเป็นเซตย่อยที่แท้จริง) ของโดเมนของตอนนี้เราสามารถขยายไปสู่แบบจำลองได้ ${\displaystyle c_{i}}$${\displaystyle a_{i}}$${\displaystyle A,}$${\displaystyle A}$${\displaystyle {\mathfrak {A}}.}$${\displaystyle {\mathfrak {A}}}$${\displaystyle {\mathfrak {A}}_{A}:=({\mathfrak {A}},a_{i})_{a_{i}\in A}.}$

แผนภาพ (อะตอม) ของคือเซตของประโยคอะตอม ทั้งหมด และการปฏิเสธของประโยคอะตอมของที่เป็นจริงใน^{[ 2 ] [ 3 ]} ในเชิงสัญลักษณ์. ${\displaystyle D({\mathfrak {A}})}$${\displaystyle {\mathfrak {A}}}$${\displaystyle {\mathcal {L}}_{A}}$${\displaystyle {\mathfrak {A}}_{A}.}$${\displaystyle D({\mathfrak {A}})=\{\phi :{\mathfrak {A}}\models \phi {\text{ โดยที่ }}\phi {\text{ เป็นสูตรอะตอมิก }}{\mathcal {L}}_{A}{\text{ หรือนิเสธของสูตรนั้น}}\}}$

แผนภาพพื้นฐาน ของคือเซตของประโยคทั้งหมดที่ตรงตามเงื่อนไขใน^{[ 4 ] [ 5 ]} ในเชิงสัญลักษณ์. เทียบเท่ากับ. ^{[ 6 ]}${\displaystyle D_{el}({\mathfrak {A}})}$${\displaystyle {\mathfrak {A}}}$${\displaystyle {\mathcal {L}}_{A}}$${\displaystyle {\mathfrak {A}}_{A}.}$${\displaystyle D_{el}({\mathfrak {A}})=\{\phi :{\mathfrak {A}}\models \phi {\text{ โดยที่ }}\phi {\text{ คือประโยคของ }}{\mathcal {L}}_{A}\}}$${\displaystyle D_{el}({\mathfrak {A}})=\{\phi (c_{1},\ldots ,c_{n}):{\mathfrak {A}}\models \phi (c_{1},\ldots ,c_{n}){\text{ โดยที่ }}\phi {\text{ เป็นสูตร }}{\mathcal {L}}{\text{-formula}}\}}$

แผนภาพเชิงบวกของ ซึ่งบางครั้งใช้สัญลักษณ์คือเซตของประโยคอะตอมทั้งหมดที่ตรงตามเงื่อนไขในขณะที่แผนภาพเชิงลบซึ่งใช้สัญลักษณ์ คือเซตของประโยคอะตอมทั้งหมดที่ไม่ตรงตามเงื่อนไขแผนภาพเชิงบวกและการปฏิเสธของสูตรทั้งหมดในแผนภาพเชิงลบรวมกันเป็นแผนภาพอะตอม ในเชิงสัญลักษณ์ ${\displaystyle {\mathfrak {A}}}$${\displaystyle D^{+}({\mathfrak {A}})}$${\displaystyle {\mathfrak {A}}}$${\displaystyle D^{-}({\mathfrak {A}}),}$${\displaystyle {\mathfrak {A}}}$${\displaystyle D({\mathfrak {A}})=D^{+}({\mathfrak {A}})\cup \neg D^{-}({\mathfrak {A}})}$