>>407
最大公約数を例に挙げる。
これなら普通は、半群と見なすかもしれない。