In http://www.proofwiki.org/wiki/Subset_of_Countable_Set [Broken] that subsets of a countable set are countable, by enumerating the elements of the subset with the labels n(adsbygoogle = window.adsbygoogle || []).push({}); _{i}, hasn't the author implicitly assumed the conclusion, namely that the subset is countable: that its elements can be labeled by the elements of [itex]\mathbb{N}[/itex]? However small one writes that i, tucked away in however many embedded levels of subscripts, it still stands for the numbers 1,2,3,..., doesn't it?

**Physics Forums | Science Articles, Homework Help, Discussion**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Subsets of a countable set

**Physics Forums | Science Articles, Homework Help, Discussion**