初等嵌入

初等嵌入是数学术语。初等嵌入(elementary embedding)模型之间的一种映射.设秘，历是语言丫的模型，如果存在一个映射h:A->B，对驴的任意公式抓xl，xz， "..x‑)和对任意的n元组a}，a2，二，a‑ E A有au }甲压}，az， w，a，}}，当且仅当.} } }p}ha， ， hat， ""' ，hand，则称映射h是从ou到骊的初等嵌人.并称ou能初等嵌人男中.这也就是说，ou与W的一个初等子模型同构，即a}三h(0}l)<}.