在数学学科模型论中，语言 formula_1 的结构 formula_2(也叫做 'formula_1-结构'，并通常写为哥特体大写)是一个有序对，它的第一个成员是论域或全集 formula_4 (对应于可能带有定义在其上的关系和函数的集合，并通常写为相应于结构名字的罗马体大写)，它的第二个成员是一个释义 formula_5，就是 formula_1 的一个偏函数，它完全定义在 formula_1 的非逻辑符号之上，使得 formula_1 的常量符号对应于 formula_4 上的元素，如果有的话；for