Для конечного

это число подможеств (

- число элементов). Ну и по аналогии.
Вообще в теории множеств

это множество всех отображений из

в

. В нашем случае "2" - множество из двух элементов. Этакий индикатор принадлежности элемента из

к определённому подмножеству.
А

- множество всех бесконечных последовательностей элементов

.