Изменения

'''Формула включения{{---}}исключения''' {{---}} это комбинаторная формула, которая позволяет определить выражающая мощность объединения конечных множеств, если известны их через мощности и мощности всех их возможных пересечений.

Для случая из двух множеств <tex>~A, B</tex> формула включения{{---}}исключения имеет следующий вид:

В силу того, что в сумме <tex>~| A | + | B |</tex> элементы пересечения <tex>A \cap B</tex> учтены дважды, то уменьшаем текущее значение суммы на мощность пересечения, чтобы каждый элемент был подсчитан ровно один раз. Для наглядности воспользуемся диаграммой Эйлера{{---}}Венна для двух множеств, приведенной на рисунке справа.

Для случая с большим количеством рассматриваемых множеств <tex> n </tex> процесс нахождения количества элементов объединения состоит в поочередном включений ошибочно исключенного, затем и исключений ошибочно включенного и так далее. Отсюда и происходит название формулы.