Definition 2.6.3.  Let M be a monoid such that ∀ a ∈ M : a is invertible. We define: