Un anneau commutatif non nul muni d'une unité et dépourvu de diviseurs de zéro non nuls ; autrement dit, un anneau R avec 1 ≠ 0 tel que ab = 0 implique a = 0 ou b = 0.
Un domaine intègre est un anneau commutatif unitaire qui n'admet pas de diviseurs de zéro non nuls ; équivalemment, la propriété d'annulation est satisfaite pour les facteurs non nuls.