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)
“You and I ... are convinced of the fact that if our Government in Washington and in a majority of the States should revert to the control of those who frankly put property ahead of human beings instead of working for human beings under a system of government which recognizes property, the nation as a whole would again be in a bad situation.”
—Franklin D. Roosevelt (1882–1945)