Editing Hereditarily finite set (section)

{{Short description|Finite sets whose elements are all hereditarily finite sets}}
In [[mathematics]] and [[set theory]], '''hereditarily finite sets''' are defined as [[finite set]]s 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]].