Изменения

Пусть <tex>N(S) — </tex> мощность множества <tex>S</tex>. Возьмём два не пересекающихся множества <tex>A</tex> и <tex>B,</tex> причём <tex>N(A) = a</tex> и <tex>N(B) = b</tex>.

Здесь, <tex>A ∪ B {\displaystyle A\cup B} A\cup B ---</tex> это объединение множеств <tex>A и B</tex>. В альтернативной версии этого определения множества <tex>A и B</tex> перекрываются и тогда в качестве суммы берётся их дизъюнктное объединение, механизм, который позволяет отделять общие элементы, вследствие чего эти элементы учитываются дважды.