casebash comments on Positive utility in an infinite universe

[casebash]

There’s no requirement to be injective, but you have to be surjective

[MrMind]

Then I still fail to see how you can apply it twice to get the result stated. Care to give a little demonstration?