Discrete Mathematics formula reference

Two-Set Inclusion–Exclusion Formula

Counts a union while correcting for elements counted in both sets.

Open in editor
LaTeX|A\cup B|=|A|+|B|-|A\cap B|

Variables

  • A, B: finite sets
  • |A|: cardinality of A

How to use this formula

Counts a union while correcting for elements counted in both sets.

Important notes

  • The intersection term removes double counting.

Quick example

If |A|=12, |B|=9, and |A∩B|=4, then |A∪B|=17.

Applicability, worked calculation, and verification

Assumptions and domain checks

  • The intersection term removes double counting.
  • Confirm the finite-set, indexing, ordering, and counting conventions assumed by the expression.

Worked example

Input

Output

If |A|=12, |B|=9, and |A∩B|=4, then |A∪B|=17.

Common mistakes

  • Before substituting values into Two-Set Inclusion–Exclusion Formula, map each variable to its definition and preserve every sign, exponent, subscript, and grouping mark.
  • Verify the result of Two-Set Inclusion–Exclusion Formula with a known case, inverse operation, dimensional check, or independent calculation before publishing it.

Continue the workflow

Use Two-Set Inclusion–Exclusion Formula in your own work

  1. Check the domainMatch the variables and assumptions to the problem before substituting values.
  2. Copy the exact notationPreserve grouping, signs, and exponents in |A\cup B|=|A|+|B|-|A\cap B|.
  3. Edit or convertOpen the expression in the LaTeX editor, then export it for your document or web page.

Review and verification

Last reviewed: 2026-07-23

Automated quality check: Kept noindex until the missing evidence is supplied.

Formula references

Frequently asked questions

What is the Two-Set Inclusion–Exclusion Formula used for?

Counts a union while correcting for elements counted in both sets.

Can I copy this formula as LaTeX?

Yes. Copy |A\cup B|=|A|+|B|-|A\cap B| or open it in the LaTeX editor.

What should I check before using it?

Confirm that each variable, unit, domain restriction, and assumption matches the problem.

Reuse, attribution, and correction

Share this reference without losing its source

Copy a citation, permanent link, Markdown link, or self-contained embed card. Each reusable format points readers back to the maintained canonical page.

Report an issue

Search the whole reference

Symbols, formulas, guides, tools and commands

Start typing to search.

move · Enter open · Esc close