A class K of structures has the strong amalgamation property (SAP) if for every amalgam with A,B,C ∈ K there exist both a structure D ∈ K and embeddings f': B → D, g': C → D such that
-
- and
-
- where for any set X and function h on X,
Read more about this topic: Amalgamation Property
Famous quotes containing the words strong and/or property:
“When the ivy has found its tower, when the delicate creeper has found its strong wall, we know how the parasite plants grow and prosper.”
—Anthony Trollope (18151882)
“Communism is inequality, but not as property is. Property is exploitation of the weak by the strong. Communism is exploitation of the strong by the weak.”
—Pierre-Joseph Proudhon (18091865)