Sia D un dominio di integrità. Sia a un elemento non nullo di D

e m un intero. Allora D è un dominio a caratteristica 0 se la relazione

ma = 0 sussiste solo nel caso in cui m = 0.