Cancellation law ($ax=ay\Rightarrow x=y$)

Left cancellation means $ax=ay\Rightarrow x=y$; right cancellation means $xa=ya\Rightarrow x=y$. A group has both laws, since multiplication by an inverse element cancels the common factor.