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:
“When first the college rolls receive his name,
The young enthusiast quilts his ease for fame;
Through all his veins the fever of renown
Burns from the strong contagion of the gown;”
—Samuel Johnson (17091784)
“The awareness of the all-surpassing importance of social groups is now general property in America.”
—Johan Huizinga (18721945)