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:
“Our science has become terrible, our research dangerous, our findings deadly. We physicists have to make peace with reality. Reality is not as strong as we are. We will ruin reality.”
—Friedrich Dürrenmatt (1921–1990)
“Oh, had I received the education I desired, had I been bred to the profession of the law, I might have been a useful member of society, and instead of myself and my property being taken care of, I might have been a protector of the helpless, a pleader for the poor and unfortunate.”
—Sarah M. Grimke (1792–1873)