Group is Inverse Semigroup with Identity

Theorem
A group is an inverse semigroup with an identity.

Proof
Let $$\left({S, \circ}\right)$$ be a group. Then:

Thus the criteria of an inverse semigroup are fulfilled.