Since the cartesian product of two countable sets is countable (Lemma 3.17) we conclude that (N -- N) -- Q+ is countable. Therefore S is countable. ... a) Prove that the union of two finite sets is finite; b) Prove that the Cartesian product of two finite sets is finite.read more >>