(Начато перед предыдущим сообщением.)
Давайте не будем отвлекаться на представление кортежей, это же очевидно оффтопный вопрос. Обычно принято определять
,
и т. д., но можно, конечно, выбрать и много других способов таких, чтобы, в отличие от приведённого,
, и разбирательство в них в этой теме вряд ли нужно. Заодно можно было бы поговорить о том, чему принимать равным пустой кортеж (как правило,
), считать ли одноэлементные кортежи
, и не лучше ли взять лисповый способ представления списков, определяя
и
, где
далее (кроме определения всех остальных кортежей через первый элемент и остаток, как и с первыми двумя здесь) практически не используется.
Говорю же, непотребство адское.
Ну зачем, вот с «лисповым» способом это получится довольно консистентно (в отличие от традиционного, где пустой, одноэлементный и двуэлементный — особые случаи, здесь только пустой и непустой определяются различно). Конечно, тем, кто не собирается изучать аксиоматическую теорию множеств, об этом думать не обязательно, но один раз — вряд ли слишком. Вообще главное знать, что всяческие кортежи выразимы с помощью множеств, и что выразимы не каким-то единственно верным образом, а многими изоморфными.