Die Relation, dass eine Struktur injiziert in eine andere abgebildet werden kann durch einen injektiven Homomorphismus (Embedding), der die Interpretationen aller Symbole erhält und, je nach gewählter Definition, Relationen wie gefordert reflektiert. Ein Einbettbarkeit behauptet, dass eine Kopie der ersten Struktur in der zweiten existiert bis auf Isomorphie auf das Bild.

Prinzip

Strukturelle Inklusion bis auf Isomorphie: Einbettbarkeit wird durch die Existenz einer injektiven, struktur-erhaltenden Abbildung von einer Struktur in eine andere organisiert, deren Bild eine Teilstruktur (oder die gewählten Erhaltungs-/Reflexionsbedingungen erfüllende Menge) des Zieles ist.

Demonstration

Ein einfaches Beispiel: Der Graph, der aus einem Pfad der Länge n besteht, ist in jeden größeren Graphen einbettbar, der einen Pfad der Länge n enthält, via der offensichtlichen injektiven Abbildung; die ganzen Zahlen als geordnete Gruppe lassen sich als geordnete Gruppen in die rationalen Zahlen durch die Inklusionsabbildung einbetten. Solche Einbettungen zeigen, dass alle Relationen und Operationen der kleineren Struktur in der größeren realisiert sind.

Fehlanwendung

Einbettbarkeit mit Unterstrukturgleichheit zu verwechseln (das eingebrachte Bild kann in Sprachen mit Funktionssymbolen nicht unter den Operationen abgeschlossen sein, sofern nicht spezifiziert), oder nicht-injektive Homomorphismen als Einbettungen zu behandeln. Ein weiterer Missbrauch ist die Annahme, Einbettbarkeit sei symmetrisch; das ist in der Regel nicht der Fall.

Konsequenz

Einbettbarkeit induziert eine Präordnung auf Isomorphietypen und ist zentral für Klassifikations- und Universalitätsfragen; zu wissen, welche Strukturen in welche einbettbar sind, informiert über Eigenschaftstransfer, Konstruktion universeller Modelle und Begriffe minimaler Obstruktion.

Umkehrung

Nicht-Einbettbarkeit: Die Negation identifiziert Obstruktionen (Invarianten oder kombinatorische Barrieren), die jede injektive struktur-erhaltende Abbildung verhindern. Die Inversion von Einbettbarkeit führt zum Quotientenbilden oder Zusammenfallen von Struktur, nicht zu einer symmetrischen Relation.

Abgrenzung

Hängt von der gewählten Erhaltungs-/Reflexionskonvention ab: Einbettungen erhalten üblicherweise Funktionen und Relationen und sind injektiv; elementare Einbettungen verlangen zusätzliche erstordnungslogische Erhaltung. Einbettbarkeit bezieht sich auf Abbildungen ganzer Strukturen, nicht auf beliebige Korrespondenzen zwischen kleinen Teilen, und erlaubt nicht das Hinzufügen neuer Elemente des Zielträgers im Einbettungsabbild.

Semantische Spannung

Einbettbarkeit versus elementares Einbetten: Einbettbarkeit verlangt Erhaltung der Signaturstruktur, während elementare Einbettung die Erhaltung aller erstordentlichen Formeln fordert; einige Einbettungen sind elementar, die meisten nicht, und deren Verwechslung verschleiert die modelltheoretische Stärke.

Synthese

Einbettbarkeit erfasst, wann eine Struktur durch eine injektive, struktur-erhaltende Abbildung in einer anderen realisiert werden kann: Sie formalisiert die Idee, dass ein Objekt als treues Abbild in einem anderen erscheint, und ordnet Vergleiche, Präordnungen und Universalitätsphänomene zwischen Strukturen.