Definition:Successor Set