Semigroup action

A **semigroup action** is a mathematical concept that generalizes the idea of a group action. It provides a way to describe how elements of a semigroup interact with a set. In a semigroup action, an element of the semigroup can be thought of as "acting" on the elements of a set, but unlike group actions, which require the presence of inverses due to the existence of a group structure, semigroup actions operate under weaker conditions.