Hereditarily countable set

In set theory, a set is called hereditarily countable if it is a countable set of hereditarily countable sets.