I have to define the scheme of primitive recursion of this function:
First I gave a inductive definition for then is defined inductively by the next rules:
After that I defined the scheme of primitive recursion for :
Be a set and be :
Then exist only one function that:
Is this ok? Perhaps I have to change something...
Sorry for my bad english because I speak spanish