Is there such a thing as a countable set with an uncountable subset?
Actually I know the answer. Well, I believe I know the answer, which is NO. Unfortunately, the professor in a Theory of Computation class said that yes, there is such a subset.
This is to settle a discussion with fellow students. A discussion that is going nowhere so we go to the internets for a verdict.
Thanks in advance for weighing in on this question.