hereditarily countable