Group is Inverse Semigroup with Identity

Theorem
A group is an inverse semigroup with an identity.

Proof
Let $\struct {S, \circ}$ be a group.

Let $a \in S$.

Then:

and

Thus the criteria of an inverse semigroup are fulfilled.