初等等價

在數學中 ， 特別是模型論中 ， 給定語言的兩個結構被稱爲初等等價的 ， 如果它們的理論相同 ， 就是說任何被一個模型滿足的句子也被另一個模型滿足 。