 Consider the sets "A" = {1, 2, 3, ... }, the set of positive integers and "B" = {2, 4, 6, ... }, the set of even positive integers.We claim that, under our definition, these sets have the same size, and that therefore "B" is countably infinite.Recall that to prove this we need to exhibit a bijection between them.