I will assume that the positive integers.

A cofinite set has the property that its complement is finite.

Thus each finite subset of corresponds to a cofinite subset of .

The collection of finite subsets of is a countable set.

Lets say that is collections of finite sets, define a mapping from to as follows.

Make a listing of the prime numbers, .

by

Then show that is injective.