Observations

Ведь экспонента - это что, это сумма Sum(x^n/n!), так? Вот теперь возьмем x не как число, а как тип. Ну или как множество. В определенном смысле это одна сатана.

x^n - это тип кортежей (n-ки, или, как писал Есенин-Вольпин, k-ки). Их понятно сколько. Но если порядок не важен, то нужно брать фактормножество. А перестановок разных как раз факториал. Так что делим на факториал.

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

Только делить надо как-то по-особому. Есть идеи?