A property of a class of structures meaning that any two structures in the class that share a common substructure can be embedded into a single structure from the class in such a way that the two embeddings agree on the common substructure (they are amalgamated).

Principle

Given embeddings of a shared substructure into two structures, there exists a third structure and embeddings from those two into it making the obvious diagram commute; the shared part is identified consistently.

Demonstration

For the class of finite graphs (with embeddings as induced subgraph inclusions), given graphs A ⊆ B1 and A ⊆ B2, their disjoint union identifying A yields a graph in the class into which B1 and B2 embed agreeing on A.

Misapplication

Assuming amalgamation without checking embedding type (e.g., assuming homomorphism amalgamation suffices) or assuming unique amalgams up to isomorphism when only existence is guaranteed; this can mislead structural conclusions.

Consequence

When present, amalgamation enables the construction of larger homogeneous or universal structures from finite pieces and is a key hypothesis in Fraïssé theory and many model‑theoretic classification results.

Reversal

Failure of amalgamation occurs when two extensions of a common substructure cannot be combined without forcing inconsistency or collapsing unwanted relations; this signals obstructions to building homogeneous limits.

Boundary

Depends on the notion of embedding and on closure properties of the class; it may fail in classes closed under weaker morphisms or when additional constraints (like algebraic relations) obstruct consistent identification.

Semantic Tension

Competes with notions like the Strong Amalgamation Property (which forbids extra identifications) and with Joint Embedding Property; tension arises in whether existence alone suffices for intended constructions.

Synthesis

The Amalgamation Property asserts that local compatibilities over a shared substructure can be glued into a global structure inside the class, providing the existence of consistent embeddings that identify the common part.