In Model Theory
In model theory and universal algebra, a class K of structures of a given signature is said to have the hereditary property if every substructure of a structure in K is again in K. A variant of this definition is used in connection with Fraïssé's theorem: A class K of finitely generated structures has the hereditary property if every finitely generated substructure is again in K. See age.
Read more about this topic: Hereditary Property
Famous quotes containing the words model and/or theory:
“The Battle of Waterloo is a work of art with tension and drama with its unceasing change from hope to fear and back again, change which suddenly dissolves into a moment of extreme catastrophe, a model tragedy because the fate of Europe was determined within this individual fate.”
—Stefan Zweig (18811942)
“The theory of truth is a series of truisms.”
—J.L. (John Langshaw)