A={(a,b)∣a,b∈Z ve b≠0} olsun. A üzerinde (a,b)∼(c,d)⇔ad=bc ile bir ∼ bağıntısı tanımlansın. Bu bağıntı bir denklik bağıntısıdır ve A'yı denklik sınıflarına ayrıştırır. İşte bu denklik sınıflarının herbirine rasyonel sayı denir. Denklik sınıflarının oluşturduğu kümeyi Q ile gösterelim.
Şimdi x=¯(a,b)∈Q ve x2=x sağlansın. Buradan ¯(a2,b2)=¯(a,b) elde edilir. Bağıntı tanımı gereğince a2b=b2a ve ab(a−b)=0 bulunur. Tamsayılar sıfır bölensiz olma özelliğine sahip olduğundan a=0 veya b=0 veya a=b elde edilir. b=0 olamaz çünkü (a,b)∈A idi. Eğer a=0 ise x=0 ve eğer a=b ise x=1 elde edilir.