моноид

Непустое множество $M$ называется моноидом, если выполняются
следующие условия:

1. на $M$ задана ассоциативная бинарная операция $*$;
2. $\exists j\in M\,:\,\,a*j=j*a=a\,$ для $\,\forall a\in M$.