>>235
群の前に半群を定義してもいい。
細かくいえば半群が最初だな。