Моноид - определение

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

Key Words for FKN + antitotal forum (CS VSU):

vedro-compota's picture

О, круто. Ещё одно определение)
Прокомментирую второе требование:

$\exists j\in M\,:\,\,a*j=j*a=a\,$ для $\,\forall a\in M$

Здесь сказано, что во множестве $M$ найдётся такеой элемент, который одновлеменно является и левой и правой единицей.

и ещё (оформление):

моноид - определение

в заголовке заменил на

Моноид - определение

(просто с большой буквы)

_____________
матфак вгу и остальная классика =)