∼, N uzerine bir denklik iliskisi olsun.
[a] ile denklik siniflarini gosterelim, yani [a]={x∈N|a∼x}
N/∼ denklik siniflarinin kumesi olsun, yani N/∼={[x]|x∈N}
{xn}n∈N ise bir dizi olsun.
iddia:
Eger denklik siniflarinin kumesindeki her p icin xp→L ise xn→L