在数学学科模型论中，语言  的结构 (也叫做 '-结构'，并通常写为哥特体大写)是一个有序对，它的第一个成员是论域或全集  (对应于可能带有定义在其上的关系和函数的集合，并通常写为相应于结构名字的罗马体大写)，它的第二个成员是一个释义 ，就是  的一个偏函数，它完全定义在  的非逻辑符号之上，使得  的常量符号对应于  上的元素，如果有的话； 的函数符号对应于  上的函数，如果有的话；而  的关系符号对应于  上的关系；如果有的话。
tsʑqr ʁr khɣn khɣn χɣk n khqɣ^n r tsʁɣ^k tɕhr tɕhʑn çɣr ɬqɣn ɣ^r tɕhɣr ɬqʑr tsrɬqɣn ɣ^r ɕqɣ^r ɣ^k ʝʁʑɣ^n khqɣr thɣqr ɣ^ɣk ɣr qr çʑr khqɣr ʁqr tɕhqk ɣ^ɣr tɕhr khr çqr ʑk çɣr çqr tɕhqk ɣ^ɣr ʝʁɣɣ^n tɕhʑn ʁqr r tɕhr ʁr ʑn ɬqn çqr tɕhqɣ^k tɕhn χɣr ɣɣ^n çʑqr tɕhr çqɣ^r tɕhqr tsʑqr qn ʁʑɣ^r çɣr ɣ^ʑk khqr ʁɣn ʁʑn ʁr çɣr ɬqn ʁɣn ɕqɣ^r ɣ^k ʝʁʑɣ^n khqɣr thɣqr khqʑɣ^k tɕhqɣ^k tɕhn ɬqɣn ɣ^r qɣ^n tsqr çɣr nʑr qr çʑr khqɣr ʑk çɣr çqr ɣr ɣ^ɣr ʝʁɣɣ^n tɕhʑn ʁqr tɕhqk ɣ^ɣr ʁqr tɕhqr ɬqr ʁqr çɣr tɕhqk ɣ^ɣr qʑk ʁʑn ʁr ʑk thʑn ʑn çqɣ^r tɕhqr tsʑqr çɣr xɣqk n ɬqr xn ʁʑr tsʁqk ʁʑɣ^r ʁqr çɣr çɣr ʝʁʑɣ^n qʑɣ^r xn ʁʑr çqr tɕhqɣ^k tɕhn ʁʑɣ^r çɣr tɕhʑn r n ɣ^r tɕhr çɣr ʁʑr çɣr ʁʑn ʁr xn ʁʑr çqr tɕhqɣ^k tɕhn ʁʑɣ^r çɣr ʁʑn ʁr n ɣ^r tɕhr çɣr ʁʑr ɣn çɣr ɣ^ʑk khqr xn ʁʑr çqr tɕhqɣ^k tɕhn ʁʑɣ^r çɣr ɣ^ʑk khqr n ɣ^r tɕhr çɣr ʁʑr