A commutative ring with unity having no proper divisors of zero, that is, where the product of nonzero elements cannot be zero.

• 整环，整域：一个单位元素都不是零的真约数，即，非零元素的乘积不为零的交换环