Definition:Successor Function