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:
“Where there is plenty of light there is strong shadow.”
—Johann Wolfgang Von Goethe (1749–1832)
“There is no such thing as “the Queen’s English.” The property has gone into the hands of a joint stock company and we own the bulk of the shares!”
—Mark Twain [Samuel Langhorne Clemens] (1835–1910)