Are the map in the remapping axiom required to be bijection or just injection? In the first case I don’t see how you can make it work to add a 0 at any point, in the second case the axiom would be just silly ({11,20,-100} would be better than {10,20}).
Are the map in the remapping axiom required to be bijection or just injection?
In the first case I don’t see how you can make it work to add a 0 at any point, in the second case the axiom would be just silly ({11,20,-100} would be better than {10,20}).
There’s no requirement to be injective, but you have to be surjective
Then I still fail to see how you can apply it twice to get the result stated. Care to give a little demonstration?