訂正：
>>28において、
Gには単なる乗法のみが定義された
半群としてではなく、
二項演算として加法も定義されているような
半群でなければならない。
この場合は零元0が加法の単位元となる。
つまり、Gは加法に関して
0を単位元とするモノイドとなる。

>>28では、このことを書き忘れていました。