Successor function

A function that takes an element of a set and returns the next element.