# Right-cancellative

## Definition

A magma $$(M,*)$$ is left-cancellative if and only if

$$\forall a,b \in M: b * a = c * a \Rightarrow b = c$$