Вот увлекся темой хранения нескольких чисел в одном. Пока нашел 2 варианта как сделать такую биекцию, но оба меня не устраивают.
1) определить что есть какое-то максимальное число

, тогда при хранении чисел

в одном они просто образуют разряды в числе с

-ичной системой счисления. Например для

числа

объединяются в

2) придумать биекцию

из пары неотрицательных в одно натуральное, затем использовать её в качестве стека.
Так, объединением

будет

В первом случае мне не нравится ограничение максимального числа, а во втором мне не нравится то, что дтобы получить n-ное число необходимо итеративно спускаться по стеку, и не получается сделать это одной формулой.
Можно ли сделать такую биекцию, чтобы там не было ограничений на максимальное число, и не было ничего итеративного (т.е. чтобы можно было составить формулы в явном виде для добавления числа в объединение и чтения энного числа из объединения), или по каким-то соображениям это невозможно?