eが唯一であるためには、
結合則　ＳｘＳ−＞Ｓ
だけがあればよい。?

A monoid is a set G, with a low of composition which is associative and having a unit element.