domain (algebra)

An algebra is called a domain if for element such that then or .

In other words, there are no zero divisors. This is a stronger condition than being reduced since if is a domain then it must be reduced.