То есть числовая последовательность это числа y под индексами x. Индексы могут быть только положительными (y первое, y второе итд) и не могут быть отрицательны или равны нулю. Поэтому они должны быть ограничены множеством натуральных чисел, а не только множеством целых.