Cancellative Monoid

A Monoid $(M,\varepsilon,\star)$ is cancellative if for all $x:M$, the functions $x\star-:M\to M$ and $-\star x:M\to M$ are Injective. If only one such function is injective, we call the monoid left cancellative or right cancellative.