Propriété d'Emboîtement Conjoint
Définition
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.