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:
“If ye had not plowed with my heifer, ye had not found out my riddle.”
—Bible: Hebrew Samson, in Judges, 14:18.
To the men who had answered his riddle, “Out of the eater came forth meat, and out of the strong came forth sweetness.”
“For experience showed her that she had not, by marrying a man of a large fortune, obtained any great proportion of property which she could call her own or command at her pleasure.”
—Sarah Fielding (1710–1768)