形式陈述

同一语言的结构 $\mathcal M,\mathcal N$$\mathcal{M},\mathcal{N}$ 之间，映射 $j:M\to N$$j:M\to N$ 若对每个一阶公式 $\varphi(x_1,\ldots,x_n)$$\phi (x_1,\dots ,x_n)$ 和参数 $a_1,\ldots,a_n\in M$$a_1,\dots ,a_n\in M$ 都满足

$$ \mathcal M\models\varphi(a_1,\ldots,a_n) \iff \mathcal N\models\varphi(j(a_1),\ldots,j(a_n)), $$$$\mathcal{M}\models \phi (a_1,\dots ,a_n)⟺\mathcal{N}\models \phi (j(a_1),\dots ,j(a_n)),$$

则称初等嵌入。含等号时它自动单射，并保持常元、函数和关系。若 $M\subseteq N$$M\subseteq N$ 且包含映射初等，记作 $\mathcal M\preccurlyeq\mathcal N$$\mathcal{M}\preccurlyeq \mathcal{N}$。普通结构嵌入只需保持原子结构，通常远弱于保持所有量词公式。

直觉

从小结构看任何带内部参数的一阶问题，在大结构中得到完全相同答案；大结构不能用量词发现小结构内部缺失了某种见证。

例子与边界

有理数有序域嵌入实数保持加法、乘法和序，但不是初等嵌入：公式“存在 y 使 $y^2=2$$y^2=2$”在实数中真、在有理数中假。任意结构到其超幂的对角映射由 Łoś 定理初等。初等等价 $\mathcal M\equiv\mathcal N$$\mathcal{M}\equiv \mathcal{N}$ 只要求两结构满足相同句子，不提供具体嵌入。

推论与应用

初等子结构是 Löwenheim–Skolem、Tarski–Vaught 检验和模型链构造的核心。它精确保留所有一阶可定义集合与关系。

参考资料

• David Marker, Model Theory: An Introduction, Springer, 2002，§1.3, embeddings and elementary substructures。
• Wilfrid Hodges, Model Theory, Cambridge University Press, 1993，Ch. 2, elementary maps and submodels。