Monoid

$$\begin{array}{r}F:M\Rightarrow M\text{texttimes}M+1\\ \alpha :M\text{texttimes}M+1\to M\end{array}$$

$M$ is the set. $\alpha$ defines the operations.

X