Здравствуйте. Читаю Зорича. В параграфе 4 "Счётные и несчётные множества", есть доказательство счётности множества упорядоченных пар натуральных чисел.
Непонятен следующий момент: "Но отображение

, задаваемое формулой

, как легко проверить, биективно".
Почему оно биективно? Сюръекция не соблюдается. Спасибо!