>>861
単位元を持つ半群のことじゃね?