初等嵌入

初等嵌入是"语义上完全无损"的复制：把 $\mathcal{M}$ 的元素搬进 $\mathcal{N}$ 之后，凡是一阶语言能以 $\mathcal{M}$ 的元素为参数提出的问题——不管量词嵌套多深——两边答案一致。关键在于量词的行为：普通嵌入只保证"搬过去的元素之间"关系不变，但 $\mathcal{N}$ 的论域更大，"存在某个 $y$"可能在大结构里靠新元素得到见证，而小结构内部无人担当；初等性恰恰排除这种落差，大结构永远不能用量词察觉小结构"缺了见证"。因此可以把 $\mathcal{M}\preccurlyeq \mathcal{N}$ 想成：$\mathcal{M}$ 是 $\mathcal{N}$ 的一个抽样，抽得如此均匀，以至于任何一阶提问都无法区分样本与总体。这也解释了为什么初等性远强于"真值相同"：初等等价只比较不带参数的句子，初等嵌入则允许把小结构的每个元素点名放进问题里。

标准反例先行：有理数有序域 $(\mathbb{Q},+,\cdot ,<)$ 包含于实数有序域，包含映射保持加法、乘法与序，是普通嵌入；但公式 $\phi (x)=\mathrm{\exists }y(y\cdot y=x)$ 取参数 $2\in \mathbb{Q}$ 后，在 $\mathbb{R}$ 中真、在 $\mathbb{Q}$ 中假，故不是初等嵌入。正例：有理数稠密线性序 $(\mathbb{Q},<)$ 与实数序 $(\mathbb{R},<)$ 之间的包含映射是初等的——无端点稠密线性序理论有量词消去，一切公式归结为参数间的序关系，两边一致。另一族系统性的正例来自超积公理库超积Ultraproduct按超滤子诱导的等价关系对一族结构的直积取商所得的结构。：Łoś 定理公理库Łoś 定理Łoś theorem · Fundamental theorem of ultraproducts超积中一阶公式成立，当且仅当其分量成立的指标集合属于所用超滤子。保证任意结构到其超幂的对角嵌入初等。

边界处有两组必须分开的概念。其一，初等等价 $\mathcal{M}\equiv \mathcal{N}$（满足相同句子）严格弱于初等嵌入的存在：$(\mathbb{R},<)$ 与 $(\mathbb{Q},<)$ 初等等价，但基数原因使 $\mathbb{R}$ 连单射进 $\mathbb{Q}$ 都不可能；即使两结构同构，具体给定的嵌入也可以不初等——$(2\mathbb{Z},<)\subseteq (\mathbb{Z},<)$ 中两结构同构（各自都是离散无端点线性序，且 $n\mapsto 2n$ 是同构），而包含映射不初等，因为"$0$ 与 $2$ 之间存在元素"在大结构中真、在子结构中假。初等性是对映射的属性，不是对结构对的属性。其二，验证 $\mathcal{M}\preccurlyeq \mathcal{N}$ 无需检查全部公式：Tarski–Vaught 检验把任务化简为"凡 $\mathcal{N}$ 中有见证的存在式，$M$ 内部就有见证"，这是构造初等子结构的实际工具。

初等嵌入是模型论的中心运算。向下与向上的 Löwenheim–Skolem 定理公理库Löwenheim–Skolem 定理Löwenheim–Skolem theorem有无限模型的一阶理论在适当基数上存在较小或较大的模型。产出的正是给定结构的各种基数的初等子结构与初等扩张，Tarski–Vaught 检验加 Skolem 函数是其引擎；初等链的并仍是链中各结构的初等扩张（Tarski 链定理），支撑饱和模型与模型完备性的构造。经由超幂，初等嵌入连接紧致性论证与非标准分析——实数到超实数的嵌入初等，故"传递原理"成立：一阶性质在标准与非标准世界间自由往返。

进阶边界： 在集合论中，带有额外闭包条件的非平凡初等嵌入 $j:V\to M$ 用来刻画可测基数等大基数；其临界点和目标模型的闭包性质决定公理强度。这里涉及真类、超滤与良基超幂等额外框架，不能把普通结构之间的初等嵌入结论直接照搬过去。