covering the number is 0, so a total covering cannot be reached from the start position. This notion was first introduced by Laurent Siklóssy and Roach. 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. In matroid theory In a matroid, every subset of an independent set is again independent. This is also sometimes called the hereditary property. In set theory Recursive definitions using the adjective "hereditary" are often encountered in set theory. A set is said to be hereditary (or pure) if all of its elements are hereditary sets. It is vacuously true that the empty set is a hereditary set, and thus the set containing only the empty set is a hereditary set, and recursively so is , for example. In formulations of set theory that are intended to be interpreted in the von Neumann universe or to express the content of Zermelo–Fraenkel set theory, all sets are hereditary, because the only sort of object that is even a candidate to be an element of a set is another set. Thus the notion of hereditary set is interesting only in a context in which there may be urelements. A couple of notions are defined analogously: A hereditarily finite set is defined as a finite set consisting of zero or more hereditarily finite sets. Equivalently, a set is hereditarily finite if and only if its transitive closure is finite. A hereditarily countable set is a countable set of hereditarily countable sets. Assuming the axiom of countable choice, then a set is hereditarily countable if and only if its transitive closure is countable. Based on the above, it follows that in ZFC a more general notion can be defined for any predicate . A set x is said to have hereditarily the property if x itself and all members of its transitive closure satisfy , i.e. . Equivalently, x hereditarily satisfies iff it is a member of a transitive subset of A property (of a set) is thus said to be hereditary if it is inherited by every