Hereditarily finite set
ID: hereditarily-finite-set
The class of hereditarily finite sets is the setEquivalently, these are the sets with finite transitive closure, or the sets contained in a finite transitive set.
New to topics? Read the docs here!