Definition

Let $(M, e, \mu)$ be a monoid and let $X$ be a set. An action is a function $\alpha_f: M \to (X \to X)$ where there exist an identity term

and dependent function

See also

• monoid
• module