Definition: Integral Domain

An integral domain is a nonzero commutative ring where the product of two nonzero elements is nonzero.