Integral domain (source code)

= Integral domain
{wiki}

An integral domain is a nonzero commutative ring with identity and without zero divisors.