Egy kommutatív, egységelemes gyűrűben egy elem akkor és csak akkor egység, ha osztója az egységelemnek.