90
правок
Изменения
Нет описания правки
# <tex> \{ n \} </tex>
# <tex> I \in 2^{N'} </tex> Это означает, что в наборе точно '''не''' будет присутствовать индекс <tex> n </tex>, а будут все различные варианты индексов остальных множеств, т.е. <tex> I \in 2^{N'}</tex>
# <tex> \{ n \} \cup I</tex>, где <tex>I \in 2^{N'} </tex> Аналогично предыдущему, только в наборе будет индекс <tex> n </tex>
Как видно из равенства, каждое слагаемое "отвечает" за соответствующие группы. Значит, равенство истинно.
