is the set of all positive natural numbers, or otherwise all positive integers.