Definition of Successor