初等嵌入

初等嵌入是數學術語。

基本介紹

• 中文名：初等嵌入
• 外文名：elementary embedding

初等嵌入(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)<}.