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:
“It is possible to have a strong self-love without any self-satisfaction, rather with a self-discontent which is the more intense because one’s own little core of egoistic sensibility is a supreme care.”
—George Eliot [Mary Ann (or Marian)
“The power of perpetuating our property in our families is one of the most valuable and interesting circumstances belonging to it, and that which tends the most to the perpetuation of society itself.”
—Edmund Burke (1729–1797)