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:
“Learning is, in too many cases, but a foil to common sense; a substitute for true knowledge. Books are less often made use of as “spectacles” to look at nature with, than as blinds to keep out its strong light and shifting scenery from weak eyes and indolent dispositions.... The learned are mere literary drudges.”
—William Hazlitt (1778–1830)
“Communism is inequality, but not as property is. Property is exploitation of the weak by the strong. Communism is exploitation of the strong by the weak.”
—Pierre-Joseph Proudhon (1809–1865)