Hereditarily countable set

ID: hereditarily-countable-set

New to topics? Read the docs here!