Definition 2.5.13.  Let M be a monoid, a ∈ M such that a is invertible. For b ∈ M, we define:
a-1 = b  :⇔  a • b = eM
Well-definedness.  No proof.
References.