Eine Eigenschaft einer Strukturklasse, die besagt, dass für je zwei Strukturen der Klasse eine dritte Struktur der Klasse existiert, in die beide einbettbar sind; mit anderen Worten, jedes Paar hat eine gemeinsame Oberstruktur in der Klasse.

Prinzip

Für jedes Paar von Mitgliedern der Klasse existiert ein Mitglied, das isomorphe Kopien beider enthält und so eine einheitliche Möglichkeit bietet, unterschiedliche Strukturen innerhalb der Klasse zu vergleichen und zu kombinieren.

Demonstration

Die Klasse der endlichen Graphen besitzt JEP, weil man für zwei endliche Graphen ihre disjunkte Vereinigung (oder einen beliebig größeren Graphen mit disjunkten Kopien) nehmen kann, wodurch ein endlicher Graph entsteht, in den beide einbettbar sind.

Fehlanwendung

JEP mit der Amalgamationseigenschaft zu verwechseln und anzunehmen, die Einbettungen müssten auf Schnittmengen übereinstimmen; JEP zur Folgerung von Homogenität oder Einzigartigkeit von Oberstrukturen zu gebrauchen, ist ohne zusätzliche Voraussetzungen unzulässig.

Konsequenz

JEP ist eine minimale Kohärenzbedingung, die zusammen mit anderen (wie Amalgamation und Hereditary Property) zur Konstruktion universeller oder limitierender Objekte und zum Vergleich von Modellen mittels Einbettungen dient.

Umkehrung

Das Versagen von JEP bedeutet, dass es zwei Strukturen in der Klasse gibt, die keine gemeinsame Oberstruktur in der Klasse besitzen, was einfache globale Konstruktionen verhindert und darauf hinweist, dass die Klasse hinsichtlich Einbettungen zerlegt ist.

Abgrenzung

Erfordert eine klare Definition von Einbettung und Abschluss unter Isomorphie; sie garantiert weder Amalgamation noch die Existenz kanonischer Einbettungen und kann in Klassen mit restriktiven Axiomen scheitern.

Semantische Spannung

Wechselt mit der Amalgamationseigenschaft in Spannung: JEP garantiert paarweise gemeinsame Einbettbarkeit, aber nicht kohärentes Verkleben; die Spannung betrifft die Frage, ob paarweise Einbettbarkeit für die beabsichtigten globalen Konstruktionen ausreicht.

Synthese

Die Gemeinsame Einbettungseigenschaft stellt sicher, dass beliebige zwei Strukturen der Klasse in eine einzige größere Struktur der Klasse eingesetzt werden können, was eine Basisfähigkeit zum Vergleich und zur Kombination von Modellen mittels Einbettungen bereitstellt.