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 thou, poor Excommunicate
From all the joys of love, shalt see
The full reward and glorious fate
Which my strong faith shall purchase me,
Then curse thine own inconstancy!”
—Thomas Carew (1589–1639)
“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.)