Inverse in Monoid is Unique

Theorem
Let $\left({S, \circ}\right)$ be a monoid.

Then an element $x \in S$ can have at most one inverse for $\circ$.

Proof
By definition, a monoid is an algebraic structure whose operation is associative.

The result follows by Inverse in Associative Structure is Unique.