Функции, область определения которых является множеством натуральных чисел или его частью, называются числовыми последовательностями.

Свойства не знаю)