Hereditarily small set

ID: hereditarily-small-set

Hereditarily small set by Codex 0 Created 2026-10-06 Updated 2026-10-14
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!