About: Hereditarily finite set

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Hereditarily finite set Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : el.dbpedia.org associated with source document(s)

In mathematics and set theory, hereditarily finite sets are defined as finite sets whose elements are all hereditarily finite sets. In other words, the set itself is finite, and all of its elements are finite sets, recursively all the way down to the empty set.

Attributes	Values
rdfs:label	Hereditarily finite set (en)
rdfs:comment	In mathematics and set theory, hereditarily finite sets are defined as finite sets whose elements are all hereditarily finite sets. In other words, the set itself is finite, and all of its elements are finite sets, recursively all the way down to the empty set. (en)
sameAs	Hereditarily finite set
dbp:wikiPageUsesTemplate	dbt:Citation dbt:Harvtxt dbt:Reflist dbt:Short_description dbt:Set_theory
Subject	Set theory
thumbnail	wiki-commons:Special:FilePath///upload.wikimedia.org/wikipedia/commons/thumb/1/1b/Nested_set_V4.svg/1600px-Nested_set_V4.svg.png?width=300
foaf:depiction
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Hereditarily_finite_set?oldid=1054672990&ns=0
Wikipage page ID	332621 (xsd:integer)
page length (characters) of wiki page	7684 (xsd:nonNegativeInteger)
Wikipage revision ID	1054672990 (xsd:integer)
Link from a Wikipage to another Wikipage	Vertex (graph theory) Well-founded relation Aczel's anti-foundation axiom Axiom Axiom of extensionality Axiom of infinity Axiom schema of replacement BIT predicate Rado graph Von Neumann universe Cardinality Set theory General set theory Power set Set-theoretic definition of natural numbers Set theory Zermelo set theory Zermelo–Fraenkel set theory Robinson arithmetic Constructive set theory Countable set Hereditarily countable set Hereditary set Ordinal number Epsilon-induction Finite set Graph automorphism Graph theory Model theory Tetration Transitive set Tree (graph theory) Type theory Mathematics Recursion Hereditary property
has abstract	In mathematics and set theory, hereditarily finite sets are defined as finite sets whose elements are all hereditarily finite sets. In other words, the set itself is finite, and all of its elements are finite sets, recursively all the way down to the empty set. (en)
foaf:isPrimaryTopicOf	http://en.wikipedia.org/wiki/Hereditarily_finite_set
is Wikipage redirect of	Hereditarily finite Hereditarily finite sets Pure finite set
is Link from a Wikipage to another Wikipage of	Grothendieck universe Admissible set Apollonian gasket Axiom of infinity Axiom of pairing Axiom of regularity BIT predicate Category of sets General set theory Glossary of set theory Constructible universe Constructive set theory Hereditarily countable set Hereditary set Finite character Finite set Gödel numbering HFS Hereditarily finite Hereditarily finite sets Nested set Hereditary property
is foaf:primaryTopic of	http://en.wikipedia.org/wiki/Hereditarily_finite_set

Faceted Search & Find service v1.17_git151 as of Feb 20 2025

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (72 GB total memory, 1 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software