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:
“Only strong personalities can endure history, the weak ones are extinguished by it.”
—Friedrich Nietzsche (1844–1900)
“Those whom the gods chose as their property must not consort with mortals.”
—Franz Grillparzer (1791–1872)