數學學科模型論中,某個其他模型的子模型子結構是滿足與最初模型同樣關係的更小的模型。

形式定義如下。設 是同一個語言 的兩個模型。我們稱 的子模型(通常表示為 MN) (等價的說,擴展)當且僅當

  1. 的域是 的域的子集;
  2. 對於所有 -元關係符號 ,我們有 RM = RNMn
  3. 對於所有 -元函數符號 ,我們有
  4. 對於所有 的常量符號 ,我們有

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

在語言的模型的範疇中,子模型將是子對象

參見

編輯