Метод включений и исключений в теории вероятностей заключается в использовании формулы Пуанкаре, которая позволяет определить мощность объединения конечного числа конечных множеств, которые в общем случае могут пересекаться друг с другом. 5
Принцип включений и исключений применяется, когда нужно вычислить количество элементов, у которых есть хотя бы одно из нескольких свойств. 4 При этом элементы, у которых есть более чем одно свойство, не учитываются дважды. 4
Например, в случае двух множеств, для любых конечных множеств A и B справедливо равенство: |A ∪ B| = |A| + |B| - |A ∩ B|. 25 В сумме |A| + |B| элементы пересечения A ∩ B учтены дважды, поэтому для компенсации это значение вычитают из правой части формулы. 5