Определение

Обратимый элемент - элемент моноида $(M,*,e*)$ называется обратимым, если:
$$\exists b \in M: ab=ba=e$$