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

Writeand

We can establish an equivalence relationship betweenandby writing

where

is one to one and onto sois isomorphic to