Hereditarily countable set
= Hereditarily countable set
{title2=$H_{\omega_1}$}
{wiki}
A set is hereditarily countable when its <transitive closure> is <countable set>[countable]. These sets form the transitive set $H_{\omega_1}$ and all have rank below $\omega_1$.