Lab for Automated Reasoning and Analysis LARA

Monoid

Monoid is a triple $(G, *,e)$ where ${*} : G^2 \to G$ such that

  • $(G,*)$ is a semigroup and
  • $e$ is a neutral element for $*$

The second condition means that for all $x \in G$,

\begin{equation*}
  x * e = e * x = x
\end{equation*}

 
monoid.txt · Last modified: 2007/05/05 16:09 by vkuncak
 
© EPFL 2018 - Legal notice