基本子結構

在模型論 ， 給定在同一個語言 中的兩個結構 和 ， 我們稱 是 的基本子結構  如果 1. 是 的子結構 ， 且 2. 對於所有有限元組 ， 對於所有語言 的公式 ， 我們有 當且僅當 。 我們稱 是 的基本擴展當且僅當 是 的基本子結構 。