初等等價

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

例子

考慮帶有二元關係符號 '<' 的語言。實數模型 R 和有理數模型 Q 是初等等價的，因為它們都轉換 '<' 為無界稠密線性次序。

還存在數論的非標準模型，它包含不只是數 0, 1, 2, 的其他對象。但是這個語言同於標準數論，因為這些額外的對象不能被提及。所以數論的標準模型和非標準模型是初等等價的。