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:
“Liberty is the air that we Americans breathe. Our Government is based on the belief that a people can be both strong and free. That civilized men need no restraint but that imposed by themselves against the abuse of freedom.”
—Franklin D. Roosevelt (1882–1945)
“Communism is inequality, but not as property is. Property is exploitation of the weak by the strong. Communism is exploitation of the strong by the weak.”
—Pierre-Joseph Proudhon (1809–1865)