数学学科模型论中,某个其他模型的子模型子结构是满足与最初模型同样关系的更小的模型。

形式定义如下。设 是同一个语言 的两个模型。我们称 的子模型(通常表示为 MN) (等价的说,扩展)当且仅当

  1. 的域是 的域的子集;
  2. 对于所有 -元关系符号 ,我们有 RM = RNMn
  3. 对于所有 -元函数符号 ,我们有
  4. 对于所有 的常量符号 ,我们有

比如 (Q, +, ×, <, 0, 1) 是 (R, +, ×, <, 0, 1) 的子模型。

在语言的模型的范畴中,子模型将是子对象

参见

编辑