Definition:Successor Mapping on Peano Structure