Eine injektive Homomorphismus f: M → N zwischen Strukturen derselben erste-Ordnung-Sprache, so dass für jede erste-Ordnung-Formel φ(x1,...,xn) und jedes Tupel a aus M gilt: M ⊨ φ(a) genau dann, wenn N ⊨ φ(f(a)); äquivalent: f erhält und reflektiert alle erste-Ordnung-Wahrheiten mit Parametern aus M.

Prinzip

Elementarität wird durch Erhalt und Reflexion erster-Ordnung-Formeln charakterisiert: eine elementare Einbettung identifiziert M mit einer elementaren Teilstruktur von N, so dass M und ihr Bild genau dieselben erste-Ordnung-Eigenschaften mit Parametern aus M erfüllen.

Demonstration

Die diagonale Abbildung einer Struktur M in ein hinreichend gesättigtes Ultrapower von M ist elementar; umgekehrt ist die Inklusion eines elementaren Teilmodells M ⊆ N eine elementare Einbettung, was den Transfer definierbarer Eigenschaften rechtfertigt.

Fehlanwendung

Jede injektive Homomorphismus oder jede Einbettung, die atomare oder quantorenfreie Formeln bewahrt, als elementar zu bezeichnen; solche Abbildungen bewahren nicht notwendigerweise existenzielle oder universelle Formeln und können daher an Elementarität scheitern.

Konsequenz

Elementare Einbettungen erlauben den Transfer erster-Ordnung-Aussagen und die Konstruktion elementarer Ketten und elementarer Erweiterungen; sie sind die Morphismen der Modelltheorie, die die volle erste-Ordnung-Struktur erhalten und Grundlagen für Sättigung und Kompaktheit liefern.

Umkehrung

Eine nicht-elementare Einbettung (bloße Einbettung) kann einige strukturelle Fakten bewahren, aber erste-Ordnung-Wahrheiten nicht reflektieren; die Umkehrung betont den Unterschied zwischen syntaktischem Erhalt atomarer Fakten und semantischem Erhalt aller erste-Ordnung-Formeln.

Abgrenzung

Elementarität ist ein erste-Ordnung-Begriff: sie erfordert eine gemeinsame Signatur und betrifft nur erste-Ordnung-Formeln; sie garantiert nicht den Erhalt infinitärer oder höherstufiger Eigenschaften oder kombinatorischer Invarianten außerhalb der erste-Ordnung-Ausdrückbarkeit.

Semantische Spannung

Spannung zwischen elementarer Einbettung und elementarer Äquivalenz: Zwei Strukturen können elementar äquivalent sein (gleiche Theorie), ohne dass eine elementare Einbettung zwischen ihnen existiert; Elementarität ist stärker als geteilte Theorie, aber schwächer als Isomorphie.

Synthese

Eine elementare Einbettung ist eine injektive Abbildung, die alle erste-Ordnung-Wahrheiten erhält und reflektiert, die Quelle mit einer elementaren Teilstruktur der Zielstruktur identifiziert und so den kohärenten Transfer definierbarer und modelltheoretischer Eigenschaften ermöglicht.