Def/Integral domain

 =Cancellation= Suppose that $R$ is a commutative ring. Then $R$ is an integral domain, if and only if the following cancellation principle holds:
 * If $x,y,z \in R$, and $xy = xz$, then $y = z$ or $x = 0$.

=Metadata=