Endliches Modell/Einelementige elementare Äquivalenzklassen/Isomorphie/Aufgabe
Erscheinungsbild
Es sei ein Symbolalphabet und sei eine endliche -Struktur mit der Eigenschaft, dass alle elementaren Äquivalenzklassen einelementig seien. Beweise Fakt in diesem Fall.