Semigroup action
[pt] Ação de semigrupo