Maths WorkshopMaths problems with full solutions
Exercise 244Combinatorics › Inclusion-exclusionHigh schoolAdded 3 Nov 2026

Disjoint unions

#IE#disjoint#sum

Statement

Show that if A∩B=∅A\cap B=\emptyset, then ∣A∪B∣=∣A∣+∣B∣|A\cup B|=|A|+|B|.

Hint

Disjoint case of IE.

Show solutionHide solution

Solution

IE. ∣A∪B∣=∣A∣+∣B∣−∣A∩B∣=∣A∣+∣B∣−0|A\cup B|=|A|+|B|-|A\cap B|=|A|+|B|-0.

Conclusion. The disjoint case reduces to the sum rule.