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

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

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

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

 в  

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

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

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

.