90
правок
Изменения
Нет описания правки
{{Теорема
|statement=Пусть <tex> A = \bigcup \limits_{i=1}^{n}A_i </tex> , тогда по формуле включения–исключения: <center> <tex> | A | = \sum \limits_{I \in 2^N} (-1)^{|I|+1} \left| \bigcap \limits_{ j \in I} A_j \right| </tex> </center>
Причем <tex> N = \{ 1,2, \ldots ,n \} </tex>, <tex> I </tex> {{---}} подмножество множества . За <tex> 2^N </tex>(Прим. для множества <tex> X </tex> запись <tex> 2^X </tex> означает примем множество всех подмножеств <tex> X </tex>). За <tex> j </tex> примем индекс текущего множества (причем <tex> j \in I N </tex>), которое будет входить в пересечение в текущем слагаемом.
