Es sei S {\displaystyle {}S} ein erststufiges Symbolalphabet und M {\displaystyle {}M} eine S {\displaystyle {}S} -Struktur. Zeige, dass die elementare Äquivalenz von Elementen m , n ∈ M {\displaystyle {}m,n\in M} eine Äquivalenzrelation auf M {\displaystyle {}M} ist.
