Section 7.5: Cardinality
... countable then S is countable. This is equivalent to the statement that if S is uncountable, then X is uncountable, which is exactly the statement we are trying to prove. ...
... countable then S is countable. This is equivalent to the statement that if S is uncountable, then X is uncountable, which is exactly the statement we are trying to prove. ...
