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.
