指一个语言L的两个模型之间的一种关系。L的两个模型，称为是初等等价的，记作，如果对L中的每一语句(闭公式)A，都有：A当且仅当A。
设、是语言L的两个模型。同构与初等等价有下面的关系：(i)如果，则。(ii)如果是有穷模型(指的论域A是有穷集)，并且，则。(i)的逆命题不成立。两个初等等价的模型具有相同的一阶性质。
，