初等扩张(elementary extension)模型之间的一种关系.设}}1， .是语言丫的两个模型，如果:1.模型，是模型ou的扩张，即Gdl c (} ;2.对犷中的任意公式抓x't，xz，...，x‑)C其自由变元都在.xt，.xz， "..，.x。中)及A中任意n元组at，aZ，...，a‑EA，都有娜片妊al，aZ，...，a‑}，当且仅当，片碗at ，az，…}an};则称劣是么了的初等扩张。这时也称娜是劣的初等子模型，记为odl C，}(或c}}ou).与此等价的命题有:，是ou的初等扩张，当且仅当odlC}，且(G乙z)。e，三(.}，a)。