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