Es sei S {\displaystyle {}S} ein Symbolmenge und M {\displaystyle {}M} eine endliche S {\displaystyle {}S} -Struktur. Zeige, dass zwei Elemente m , n ∈ M {\displaystyle {}m,n\in M} genau dann elementar äquivalent sind, wenn es einen S {\displaystyle {}S} -Automorphismus
mit φ ( m ) = n {\displaystyle {}\varphi (m)=n} gibt.
