In
ring theory, a
ring R is said to be 'reduced' if it has no non-
zero nilpotent elements.
This condition is weaker than having no
zero divisors, hence every
domain is a reduced ring, but not every reduced ring is a domain. For example, 'Z'[''x'', ''y'']/(''xy'') is a reduced ring that is not a domain.