Definition 2.5.15.  Let M be a monoid, a ∈ M such that a is invertible, z ∈ . We define:
az:= {az if z ≥ 0(a-1)z if z < 0