Integral domain (source code)

= Integral domain
{wiki=Integral_domain}

An **integral domain** is a specific type of algebraic structure in the field of abstract algebra. It is defined as a non-zero commutative ring with certain properties.