Integral Domain

Definition: Integral Domain

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

$$ab=0⟹a=0\vee b=0$$