Integral domain/Definition

A commutative ring in which the product of two non-zero elements is again non-zero.