Definition:Elementary Equivalence

Definition
Let $\MM, \NN$ be $\LL$-structures.

We say that $\MM$ and $\NN$ are elementarily equivalent if for all $\LL$-sentences $\phi$, we have $\MM \models \phi$ $\NN \models \phi$.