> That's not an actual algebraic definition in the same way you can express a peano successor function for say, all natural numbers.

I guess it's not clear to me how you define an "actual algebraic definition" of a function.

Can you provide a formal definition for this? Like some rules that I could use to determine whether a function is algebraically defined.

I think it'll clear up whatever misunderstanding I seem to have.