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)
“No man is by nature the property of another. The defendant is, therefore, by nature free.”
—Samuel Johnson (1709–1784)