Изменения
Нет описания правки
<tex> | A \cup B | = | A | + | B | - | A \cap B |</tex>
</center>
В силу того, что в сумме <tex>~| A | + | B |</tex> элементы пересечения <tex>A \cap B</tex> учтены дважды, то уменьшаем текущее значение суммы на мощность пересечениепересечения, чтобы каждый элемент был подсчитан ровно один раз. Для наглядности воспользуемся диаграммой Эйлера–Венна для двух множеств, приведенной на рисунке справа.
Для случая с большим количеством рассматриваемых множеств <tex> n </tex> процесс нахождения количества элементов объединения состоит в поочередном включений ошибочно исключенного, затем исключений ошибочно включенного и так далее. Отсюда и происходит название формулы.
