noun a mathematical ring in which multiplication is commutative, which has a multiplicative identity element, and which contains no pair of nonzero elements whose product is zero Example: the integers under the operations of addition and multiplication form an integral domain