Proof That the Union of a Disjoint Infinite and a Countable Set is Isomorphic to the Infinite Set
If
is an infinite set and
is a countable set, with
then consider the union
Sinceis an infinite set it must contain a countable subset
Write
and
We can establish an equivalence relationship between
andby writing
where
is one to one and onto sois isomorphic to
