Un anello č un dominio di integritā se non ha divisori
dello zero.
Una definizione equivalente č la seguente:
Un anello commutativo A č un dominio di integritā
se non č nullo e se: