the set of all even counting numbers