$\sim$, $\mathbb{N}$ uzerine bir denklik iliskisi olsun.
$[a]$ ile denklik siniflarini gosterelim, yani $[a] = \{x\in\mathbb{N} | a\sim x\}$
$\mathbb{N}/\sim$ denklik siniflarinin kumesi olsun, yani $\mathbb{N}/\sim = \{[x] | x \in \mathbb{N} \}$
$\{x_n\}_{n\in\mathbb{N}} $ ise bir dizi olsun.
iddia:
Eger denklik siniflarinin kumesindeki her $p$ icin $x_p\to L$ ise $x_n\to L$