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:
“Wonder is the foundation of all philosophy; research, the progress; ignorance, the end. There is, by heavens, a strong and generous kind of ignorance that yields nothing, for honour and courage, to knowledge: an ignorance to conceive which needs no less knowledge than to conceive knowledge.”
—Michel de Montaigne (1533–1592)
“Those whom the gods chose as their property must not consort with mortals.”
—Franz Grillparzer (1791–1872)