Здравствуйте, lpd, Вы писали:

lpd> И строится взаимо-однозначное соответствие между целыми и натуральными:
lpd>N Z
lpd>1 0
lpd>2 1
lpd>3 -1
lpd>4 2
lpd>5 -2
lpd>5 3
lpd>6 -3
lpd>7 4
lpd>... ...
lpd>Таким образом каждому целому соответствует одно натуральное, и наоборот.

Когда работаем с конечными интервалами, существенно — на одинаковом интервале подсчитывается или нет.
Там у тебя для натуральных выбран интервал [1..7], а для целых [-3..4]. Если и натуральные тоже посчитаешь на [-3..4], то получится только 4 штуки, против 8 целых.
Если применять "предельный переход", то хотя бы корректно это делать.