在數學學科模型論中,某個其他模型的子模型或子結構是滿足與最初模型同樣關係的更小的模型。
形式定義如下。設 和 是同一個語言 的兩個模型。我們稱 是 的子模型(通常表示為 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.