ленивый вариант

. Лишь бы не

Простите, а какая разница между ними?
Синтаксическая и семантическая.

Просто запись

гораздо прочнее закреплена за неупорядоченным множеством этих

, а запись

часто используется для обозначения именно последовательности. («Часто» — не значит «всегда». Контекст никто не отменяет. Выбор обозначения — вопрос вкуса и традиций.)
Кстати, а запись

законна? Или так никто никогда не пишет?
Бывает и такое, пишут иногда.
А что если надо объявить кортеж, но не перечислением, а свойством, как множества?
А это как? Не соображу... Надо ведь указать, какой элемент первый, какой второй...
Так... А кортеж -- это разве не то же, что последовательность? Напр. в чём разница между "кортеж (1,2,3,...)" и последоватльность

?
Не думаю, что кто-то называет

кортежем. Термин «кортеж» по традиции подразумевает конечность. (Кстати, словосочетание «конечная последовательность» тоже встречается в литературе. Еще один синоним кортежа.)