[es] Conjunto finito hereditariamente

[ja] 遺伝的有限集合

[pt] Conjuntos hereditariamente finitos

[zh] 继承有限集合