In 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. For example, the set containing only the empty set (<math>\{\varnothing\}</math>) is a pure set, as is any set that contains only itself.

PropertyValue
dbpprop:abstract
  • In 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. For example, the set containing only the empty set (<math>\{\varnothing\}</math>) is a pure set, as is any set that contains only itself. 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.
dbpprop:hasPhotoCollection
rdfs:comment
  • In 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. For example, the set containing only the empty set (<math>\{\varnothing\}</math>) is a pure set, as is any set that contains only itself.
rdfs:label
  • Hereditary set
owl:sameAs
skos:subject
foaf:page
is dbpprop:redirect of