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:
“We can only proselytize fresh meat, putrid meat begins to have strong convictions of its own.”
—Samuel Butler (18351902)
“No man is by nature the property of another. The defendant is, therefore, by nature free.”
—Samuel Johnson (17091784)