Given a ring , an element is a zero-divisor if there exists such that or .
A zero-divisor is never a unit. (see "unit" page for proof)
If a ring contains no zero-divisors, we say it is an integral domain.
all these pages adapted with probably insufficient credit from my university's lecture notes