Hereditary set

Hereditary set

In the mathematical field of set theory, a hereditary set (or pure set) is a set all of whose elements are hereditary sets. That is, all elements of the set are themselves sets, as are all elements of the elements, and so on.

In most standard formulations of set theory, 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.

ee also

*Hereditarily countable set

References

*cite book|title=Set Theory: An Introduction to Independence Proofs|author=Kunen, Kenneth|publisher=North-Holland|year=1980|id=ISBN 0-444-85401-0


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Hereditary peer — Hereditary peers form part of the Peerage in the United Kingdom. There are over seven hundred peers who hold titles that may be inherited. Formerly, most of them were entitled to a seat in House of Lords, but since the House of Lords Act 1999… …   Wikipedia

  • Hereditary nonpolyposis colorectal cancer — Classification and external resources ICD 10 C18 C20 ICD 9 …   Wikipedia

  • Hereditary property — In mathematics, a hereditary property is a property of an object, that inherits to all its subobjects, where the term subobject depends on the context. These properties are particularly considered in topology and graph theory. Contents 1 In… …   Wikipedia

  • Hereditary Kingdom of Norway — History of Monarchy of Norway redirects here The Kingdom of Norway as a unified realm was initiated by King Harald Fairhair in 9th century. His efforts in unifying the petty kingdoms of Norway, resulted in the first known Norwegian central… …   Wikipedia

  • Hereditary C*-subalgebra — In operator algebras, a hereditary C* subalgebra of a C* algebra A is a particular type of C* subalgebra whose structure is closely related to that of A . A C* subalgebra B of A is a hereditary C* subalgebra if for all 0 le; a le; b , where b… …   Wikipedia

  • hereditary — hereditarily /hi red i tair euh lee, red i ter /, adv. hereditariness, n. /heuh red i ter ee/, adj. 1. passing, or capable of passing, naturally from parent to offspring through the genes: Blue eyes are hereditary in our family. Cf. congenital. 2 …   Universalium

  • hereditary — [hɪ rɛdɪt(ə)ri] adjective 1》 conferred by, based on, or relating to inheritance.     ↘(of a characteristic or disease) able to be passed on from parents to their offspring or descendants. 2》 Mathematics (of a set) defined such that every element… …   English new terms dictionary

  • List of set theory topics — Logic portal Set theory portal …   Wikipedia

  • Distance-hereditary graph — A distance hereditary graph. In graph theoretic mathematics, a distance hereditary graph (also called a completely separable graph)[1] is a graph in which the distances in any connected induced subgraph are the same as they are in the original… …   Wikipedia

  • Maximal independent set — This article is about the combinatorial aspects of maximal independent sets of vertices in a graph. For other aspects of independent vertex sets in graph theory, see Independent set (graph theory). For other kinds of independent sets, see… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”