Definition of Cancellation Laws

Let $D$ be an integral domain with $a,b,c\in D$. If $a\ne 0$, then $ab=ac⟹b=c$. Similarly, $ba=ca⟹b=c$.