子结构 在数学学科模型论中某个其他模型的子模型或子结构是满足与最初模型同样关系的更小的模型 形式定义如下设 M displaystyle M 和 N displaystyle N 是同一个语言 L displaystyle L 的两个模型我们称 M displaystyle M 是 N displaystyle N 的子模型通常表示为 M  N 等价的说 N displaystyle N 是 M displaystyle M 的扩展当且仅当 M displaystyle M 的域是 N displaystyle N 的域的子集 对于所有 L displaystyle L 的 n displaystyle n 元关系符号 R displaystyle R 我们有 RM  RN  Mn 对于所有 L displaystyle L 的 m displaystyle m 元函数符号 f displaystyle f 我们有 f M  f N  M m   displaystyle fMfNMm   对于所有 L displaystyle L 的常量符号 c displaystyle c 我们有 c M  c N   displaystyle cMcN   比如 Q      是 R      的子模型 在语言的模型的范畴中子模型将是子对象