0 ve 1 doğal sayı olsun. Bu durumda 0=[∅] ve 1=[{a}] yazabiliriz. Doğal sayıları sonlu kümelerin oluşturduğu A ailesi üzerinde tanımlı β={(A,B)|(∃f∈BA)(f, bijektif)}⊆A2
denklik bağıntısına göre oluşan denklik sınıfı olarak tanımladığımı belirteyim.
Doğal sayılarda eşitlik [A],[B]∈N olmak üzere
[A]=N[B]:⇔(∃f∈BA∪AB)(f, bijektif) şeklinde tanımlanır. Dolayısıyla iki doğal sayının eşit olmaması
[A]≠N[B]:⇔(∀f∈BA∪AB)(f, bijektif değil)
anlamına gelecektir. O halde kuralı ne olursa olsun
f:∅→{a}
fonksiyonu bijektif olmadığından boş kümenin denklik sınıfının temsil ettiği doğal sayı ile tek elemanlı {a} kümesinin denklik sınıfının temsil ettiği doğal sayı birbirinden farklıdır. Yani
0=[∅]≠[{a}]=1