An integral domain is a nonzero commutative ring in which the product of any two nonzero elements is nonzero