https://profilpelajar.com/en/Hereditarily_countable_set