# Proof:Cardinality of evens

([itex]1) [/itex]2 | [itex]3 ([/itex]4) | [itex]5 ([/itex]6)
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.