User blog comment:Googology Noob/SuperJedi's X Function/@comment-25601061-20151229030901

Here is the inverse sucessor function:

U(Sx)=x

And if we add the following rules, we can make substraction function:

U(x,0)=x

U(x,Sy)=U(U(x,y))