遗传有穷集

hereditarily finite set