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:
“My wife, who does not like journalizing, said it was leaving myself embowelled to posterity—a good strong figure. But I think it is rather leaving myself embalmed. It is certainly preserving myself.”
—James Boswell (1740–1795)
“No man acquires property without acquiring with it a little arithmetic, also.”
—Ralph Waldo Emerson (1803–1882)