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:
““Would you—be good enough—” Alice panted out, after running a little further, “to stop a minute—just to get—one’s breath again?”
“I’m good enough,” the King said, “only I’m not strong enough. You see, a minute goes by so fearfully quick. You might as well try to stop a Bandersnatch!””
—Lewis Carroll [Charles Lutwidge Dodgson] (1832–1898)
“A lawyer’s dream of Heaven: Every man reclaimed his own property at the resurrection, and each tried to recover it from all his forefathers.”
—Samuel Butler (1835–1902)