Ifis an infinite set and
is a countable set, with
then consider the union
Sinceis an infinite set it must contain a countable subset
Writeand
We can establish an equivalence relationship betweenand
by writing
where
is one to one and onto so
is isomorphic to