Special:EditPage/Hereditarily countable set