Zapis  odczytywać należy jako „zbiór takich , że , przy czym rozważamy takie liczby naturalne , które są mniejsze od ”. Najpierw wyznaczymy , aby móc potem podstawić