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:
“These are the clouds about the fallen sun,
The majesty that shuts his burning eye:
The weak lay hand on what the strong has done,
Till that be tumbled that was lifted high
And discord follow upon unison....”
—William Butler Yeats (1865–1939)
“It is better to write of laughter than of tears, for laughter is the property of man.”
—François Rabelais (1494–1553)