Hereditarily small set
ID: hereditarily-small-set
For an infinite cardinal number , consists of the sets for which , where is transitive closure. The entire transitive membership ancestry is bounded, not only the size of . These collections are transitive sets. At the elements are the hereditarily countable sets.
New to topics? Read the docs here!