hereditarily finite set

Finite sets whose elements are all hereditarily finite sets

Categories: