ページ「半群」に戻る。