Lemma

A semi-group has at most one unit.

Semi-groups with a unit element are special and have therefore been given a special name:

Definition

A structure (M,*,e) in which (M,*) is a semi-group with unit e is called a monoid.

Since a monoid has only one unit element as is stated in the above lemma, we call this unit element the unit of the monoid.