あーそうか、 加法入ってるからどっちでも良いですわな。
指摘ありがとうございます。

最初166を参照して<N, S(・)>と書いた後に、決定可能性に関して
加法を入れても大きな違いは無い、と思って
<N, S(・), +>と書き直したので頭の中でごっちゃになってました。