Amalgamation‑Eigenschaft

Eine Eigenschaft einer Strukturklasse, die besagt, dass beliebige zwei Strukturen der Klasse mit einer gemeinsamen Teilstruktur in eine einzelne Struktur der Klasse eingebettet werden können, wobei die beiden Einbettungen auf der gemeinsamen Teilstruktur übereinstimmen (sie werden amalgamiert).

Eine Klasse von Strukturen (häufig eine Varietät oder Modellklasse) hat die Amalgamierungseigenschaft (AP), wenn jede Paarung von Einbettungen einer gemeinsamen Unterstruktur in zwei Strukturen gemeinsam in eine einzige Oberstruktur eingebettet werden kann, so dass die beiden Einbettungen auf dem gemeinsamen Teil übereinstimmen (es existiert ein Amalgam bzw.