>>492
半群というから単位元がないのかと思えば、0^0 あるいは f(0^0) が単位元らしいな。

「指数法則から」という言い方は曖昧だから、そこはスルーしておく。