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)
“It is as if being was to be observed,
As if, among the possible purposes
Of what one sees, the purpose that comes first,
The surface, is the purpose to be seen,
The property of the moon, what it evokes.”
—Wallace Stevens (1879–1955)