is the set of all natural numbers.