Propriété d'Amalgamation

Une propriété d'une classe de structures signifiant que deux structures de la classe partageant une sous‑structure commune peuvent être plongées dans une seule structure de la classe de sorte que les deux plongements coïncident sur la sous‑structure commune (elles sont amalgamées).

Une classe de structures (souvent une variété ou une classe de modèles) possède la propriété d'amalgamation (AP) lorsque pour toute paire d'inclusions d'une sous‑structure commune dans deux structures il existe une super‑structure commune dans laquelle les deux inclusions se prolongent de sorte qu'elles coïncident sur la partie commune (il existe un amalgame ou un coproduit pour le diagramme d'inc