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!