模型论中术语，又称初等子结构。设，是语言L的模型，并且。如果对L中每一公式A(x，…，x)(其自由变元都在x，…，x中)及A中每一n元组a，…a，都有：
A［a，…，a］当且仅当A［a，…a］
称为的初等子模型(称为的初等扩张)，记作(或)。
下列命题成立：
命题1 (i) 若，则。(ii) 。(iii) 若并且，则。(iv) 若，且，则。
命题2 设，是语言L的模型，并且，则的充分必要条件是：对L中每一形式为xA(x，x，…，x)的公式及A中每一n元组a，…，a，如果xA［a，…，a］，则存在a∈A使得［a，a，…，a］。
，