Hereditarily countable set ($H_{{\omega }_1}$)

A set is hereditarily countable when its transitive closure is countable. These sets form the transitive set $H_{{\omega }_1}$ and all have rank below ${\omega }_1$.