Кстати говоря, лучше не использовать

для упорядоченных наборов, потому что это всё-таки зарезервировано только за множествами и редко-редко за чем-то другим, если нет двусмысленности. Здесь она как раз есть. Упорядоченные наборы — в круглых скобках.
Ещё стоит упомянуть, что последовательность — это просто красивые слова и обозначения для обычной функции, определённой на натуральных числах. Значение её на числе

—

-й член последовательности. Отсюда сразу видно, что никаких бесконечных членов последовательности не подразумевается. (Можно рассматривать функции, определённые на других линейно упорядоченных множествах — например, ординалах. «Последовательность» с индексами

будет иметь «бесконечный» член. Но такую штуку не везде приткнёшь, где допустима обычная последовательность.)
-- Сб янв 02, 2016 22:09:02 --(Как обычно, всё упирается в базовые знания.)