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:
“The strong arm, my lord, is no argument, though it overcomes all logic.”
—Herman Melville (1819–1891)
“It is better to write of laughter than of tears, for laughter is the property of man.”
—François Rabelais (1494–1553)