Zwei S {\displaystyle {}S} -Strukturen M {\displaystyle {}M} und N {\displaystyle {}N} über einem erststufigen Symbolalphabet S {\displaystyle {}S} heißen elementar äquivalent, wenn jeder S {\displaystyle {}S} -Satz, der in M {\displaystyle {}M} gilt, auch in N {\displaystyle {}N} gilt.
