半群
記事はありません。