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 you are going into that line,—going to besiege the city of God,—you must not only be strong in engines, but prepared with provisions to starve out the garrison.”
—Henry David Thoreau (1817–1862)
“The charming landscape which I saw this morning is indubitably made up of some twenty or thirty farms. Miller owns this field, Locke that, and Manning the woodland beyond. But none of them owns the landscape. There is property in the horizon which no man has but he whose eye can integrate all parts, that is, the poet. This is the best part of these men’s farms, yet to this their warranty-deeds give no title.”
—Ralph Waldo Emerson (1803–1882)