Elementary Equivalent Structures

-Structures and are elementary equivalent if Theory of is the same as Theory of :

We write . We may drop if the language is clear.

Lemma

Let be an -Theory. Then is a Complete Theory if and only if Any two models of are elementary equivalent.

Example

Let and where

Then is complete. Thus any two -Structures are equivalent.