# Left-cancellative

## Definition

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

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