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:
“And time brings down what is both strong and tall.
But plants new set to be eradicate,
And buds new blown, to have so short a date,
Is by his hand alone that guides nature and fate.”
—Anne Bradstreet (c. 1612–1672)
“Abscond. To “move” in a mysterious way, commonly with the property of another.”
—Ambrose Bierce (1842–1914)