INTEGRAL DOMAIN
Definition
An object is an <INTEGRAL DOMAIN> if and only if: it is an <ALGEBRAIC RING WITH IDENTITY> (S, +, *, 0, 1); it complies with: commutative under multiplication a * b = b * a no divisors of zero a * b = 0 implies either a = 0 or b =