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:
“And I was yong and ful of ragerye,
Stibourne and strong and joly as a pie:
How coude I daunce to an harpe smale,
And singe, ywis, as any nightingale,
Whan I hadde dronke a draughte of sweete win.”
—Geoffrey Chaucer (1340?–1400)
“It is clearly better that property should be private, but the use of it common; and the special business of the legislator is to create in men this benevolent disposition.”
—Aristotle (384–322 B.C.)