In mathematics, the notion of cancellativity is a generalization of the notion of invertibility. An element a in a magma has the left cancellation property if for all b and c in M, a ∗ b = a ∗ c always implies that b = c. Wikipedia