90
правок
Изменения
Нет описания правки
</tex> <tex>= \sum \limits_{I \in 2^N} (-1)^{|I|+1} \left| \bigcap \limits_{ j \in I } A_j \right| </tex> .
Равенство справедливо, потому что все наборы <tex> I \in 2^N </tex> можно разбить на три две группы :
# <tex> I \in 2^{N'} </tex> Это означает, что в наборе точно '''не''' будет присутствовать индекс <tex> n </tex>, а будут все различные варианты индексов остальных множеств, т.е. <tex> I \in 2^{N'}</tex>
