半群とかを扱うなら、そもそもベキは、右作用もつ
という程度の意味に一般化されるはずジャン?