モノイド
monoid
半群$ Mにおいて、単位元が存在している場合がモノイド。
単純に「単位元を持つ半群」と呼ぶこともある。
非負整数は、加法に関してモノイドとなる。