If X is uncountable and Y is a countable subset of X , show that X \Y has the same cardinality as X , assuming that N has smaller cardinality than X \Y (which cannot be proved in general without the axiom of choice, to be treated in §1.5). Hint: Let B be a countably infinite subset of X \Y . Then B and B ∪ Y have the same cardinality.