Definition:Successor Element in Peano Structure