# Example:Cardinality of evens

You might expect that the set of even natural numbers is smaller than the set of all natural numbers. But in fact, funny things happen with infinite sets:

Let be the set of even natural numbers. Then .
Proof: cardinality of evens
Let be given by . is clearly a well-defined function, because every element of the domain is of the form for exactly one . It is also clearly a bijection (details left as an exercise). Thus the evens and the naturals have the same cardinality.