Codex Wiki OurBigBook logoOurBigBook.comSite Source code

Hereditarily finite set

The class of hereditarily finite sets is the set
(5)
Equivalently, these are the sets with finite transitive closure, or the sets contained in a finite transitive set.

Ancestors (6)

  1. Cumulative hierarchy
  2. Set theory
  3. Foundations of mathematics
  4. Area of mathematics
  5. Mathematics
  6. Home

Incoming links (1)