Kumeler teorisi acisindan 0 boskume olarak dusunulebilir. Ama carpmaya gore yutan eleman tam olarak boskume olmasindan dolayi degil, bizim carpmayi 0 yutan eleman olacak sekilde tanimlamamizdan.
0'i boskume olarak tanimlayalim. Ardil (successor) fonksiyonu da soyle tanimlayamilim
S(0)=0∪{0}={0} ve {0} sayisini da 1 olarak tanimlayalim ve
S(a)=a∪{a} olarak tanimlayalim.
N bu S fonksyionu altinda kapali en kucuk kume olsun. Simdi N uzerine toplama ve carpmayi soyle tanimlayabiliriz: Herhnagi a,b∈N icin
a+0=a
a+S(b)=S(a+b)
ve
a⋅0=0
a⋅S(b)=a+(a⋅b).
Doalyisiyla 0'in yutan eleman olmasi daha ziyade carpma islemi oyle tanimladigindan dolayi.