英: successor function
後者関数 S は任意の自然数 n にその後者（後継、後続者）n + 1 を割り当てる: S(n) ≔ n + 1 (∀n)。
Ruby 3.2 リファレンスマニュアル ライブラリ一覧 組み込みライブラリ Stringクラス
インスタンスメソッド succ
https://docs.ruby-lang.org/ja/latest/class/String.html#I_NEXT
Ruby 3.2 リファレンスマニュアル ライブラリ一覧 組み込みライブラリ Integerクラス
インスタンスメソッド succ
https://docs.ruby-lang.org/ja/latest/class/Integer.html#I_NEXT
