1. A commutative ring with unity having no proper divisors of zero, that is, where the product of nonzero elements cannot be zero.