初等等价 在数学中特别是模型论中给定语言的两个结构被称为初等等价的如果它们的理论相同就是说任何被一个模型满足的句子也被另一个模型满足