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:
“A strong egoism is a protection against disease, but in the last resort we must begin to love in order that we may not fall ill, and must fall ill if, in consequence of frustration, we cannot love.”
—Sigmund Freud (1856–1939)
“For wisdom is the property of the dead,
A something incompatible with life; and power,
Like everything that has the stain of blood,
A property of the living; but no stain
Can come upon the visage of the moon
When it has looked in glory from a cloud.”
—William Butler Yeats (1865–1939)