构造模型的一种常用方法。语言L的模型序列，，，…称为一个链，如果对每一n，是的扩张。给定这样一个链，可以定义一个模型，称为链的并。的论域是的论域的并，是每一的扩张。一个链，，…称为初等链，如果对每一n，是的初等扩张。如果，，…是一初等链，则这链的并是每一的初等扩张。
，