Definition

An integral domain is a (nontrivial) commutative ring without zero divisors