So if A is an infinite set, we know that |A|+|A|=|A|. But are we allowed to go backwards, i.e. divide A into two disjoint subsets B and C such that A = B U C, and |B|=|C|=|A|. For the integers and for the reals, this is clear, e.g. R = (-infinity,0) U [0, infinity), each with cardinality c...