функция следования

Successor function