Proof That the Union of a Disjoint Infinite and a Countable Set is Isomorphic to the Infinite Set

Ifis an infinite set andis a countable set, withthen consider the union

Sinceis an infinite set it must contain a countable subset


We can establish an equivalence relationship betweenandby writing


is one to one and onto sois isomorphic to