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$$