在数学学科模型论中,某个其他模型的子模型或子结构是满足与最初模型同样关系的更小的模型。
形式定义如下。设 和 是同一个语言 的两个模型。我们称 是 的子模型(通常表示为 M ⊂ N) (等价的说, 是 的扩展)当且仅当
- 的域是 的域的子集;
- 对于所有 的 -元关系符号 ,我们有 RM = RN ∩ Mn;
- 对于所有 的 -元函数符号 ,我们有 ;
- 对于所有 的常量符号 ,我们有 。
比如 (Q, +, ×, <, 0, 1) 是 (R, +, ×, <, 0, 1) 的子模型。
在语言的模型的范畴中,子模型将是子对象。
参见
![]() | 这是一篇与逻辑学相关的小作品。您可以通过编辑或修订扩充其内容。 |
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.