Une propriété d'une classe de structures indiquant que pour deux structures quelconques de la classe il existe une troisième structure de la classe dans laquelle les deux se plongent ; autrement dit, chaque paire admet une surstructure commune dans la classe.

Principe

Pour chaque paire d'éléments de la classe il existe un élément de la classe contenant des copies isomorphes des deux, offrant une manière uniforme de comparer et de combiner des structures distinctes au sein de la classe.

Démonstration

La classe des graphes finis possède la JEP car pour deux graphes finis on peut prendre leur réunion disjointe (ou tout graphe plus grand contenant des copies disjointes) pour obtenir un graphe fini dans lequel les deux se plongent.

Mauvaise application

Confondre la JEP avec la Propriété d'Amalgamation et supposer que les plongements doivent coïncider sur les intersections ; utiliser la JEP pour déduire l'homogénéité ou l'unicité des surstructures n'est pas justifié sans hypothèses supplémentaires.

Conséquence

La JEP est une condition minimale de cohérence utilisée avec d'autres (comme l'amalgamation et la propriété héréditaire) pour construire des objets universels ou limites et pour comparer des modèles par des plongements.

Inversion

L'échec de la JEP signifie qu'il existe deux structures de la classe sans surstructure commune dans la classe, empêchant de simples constructions globales et indiquant que la classe est déconnectée du point de vue des plongements.

Limite

Exige une notion claire de plongement et la fermeture sous isomorphisme ; elle n'assure ni l'amalgamation ni l'existence de plongements canoniques, et peut échouer dans des classes aux axiomes trop restrictifs.

Tension sémantique

Interagit avec la Propriété d'Amalgamation : la JEP garantit l'emboîtement conjoint par paires mais pas le recollage cohérent ; la tension porte sur le fait que l'emboîtement pair à pair suffit pour les constructions globales visées.

Synthèse

La Propriété d'Emboîtement Conjoint garantit que deux structures quelconques de la classe peuvent être placées dans une seule structure plus grande de la classe, fournissant une capacité minimale de comparaison et de combinaison par plongements.