Изменения

|statement=Пусть <tex> A = \bigcup \limits_{i=1}^{n}A_i </tex> , тогда по формуле включения{{---}}исключения: <center> <tex> | A | = \sum \limits_{I_n I \in 2^N} (-1)^{k|I|+1} \left| \bigcap \limits_{ j \in I_n I} A_j \right| </tex> </center>Причем <tex> I_n N = (i_1,i_2, \ldots ,i_k) \subset \{ 1,2, \ldots ,n \} </tex>, то есть некоторый набор индексов множеств<tex> I </tex> {{---}} подмножество множества <tex> 2^N </tex>(индексы этих множеств не могут превышать число Прим. для множества <tex>~nX </tex>), пересечение которых мы ищем в текущем слагаемом суммы. За запись <tex> k 2^X </tex> принимаем количество таких индексов в текущем означает множество всех подмножеств <tex> I_n X </tex>, за ). За <tex> j </tex> примем индекс текущего множества (причем <tex> j \in I_n I </tex>), которое будет входить в пересечение в текущем слагаемом.