Semigroup_action