Venn Diagrams — Mathematics Knowledge System

Overview

A Venn diagram is a picture that shows how sets relate to one another, using overlapping circles inside a rectangle representing the universal set. Every region formed by the overlaps corresponds to exactly one logical combination of membership (in A only, in both A and B, in neither, etc.), making abstract set operations like union, intersection, and complement immediately visible.

Intuition

Draw two overlapping circles inside a box. The box is 'everything' (the universal set). Each circle is a set. The sliver where they overlap is exactly the elements in BOTH sets; the parts of each circle outside the overlap are elements in ONLY that set; everything outside both circles is in NEITHER. Every set operation (union, intersection, difference, complement) is just a specific region of this picture.

Formal Definition

Definition

For two sets A and B inside a universal set U, a Venn diagram partitions U into four regions:

A \cap B,\quad A \setminus B,\quad B \setminus A,\quad U \setminus (A \cup B)

In both, in A only, in B only, and in neither

The four regions

Properties

Union as shaded region

A \cup B \text{ is every shaded region except the outside}

Complement

A^c = U \setminus A \text{ is everything outside circle A}

Applications

Database query results (SQL joins, set-based filters) are commonly explained and debugged using Venn-diagram thinking.

Worked Examples

Add the two sets and subtract the double-counted overlap.
$|M \cup A| = |M| + |A| - |M \cap A| = 15+10-5 = 20$

Answer: 20 students

Practice Problems

Difficulty 2/10

If |A|=8, |B|=6, |A∩B|=3, what is |A∪B|?

Common Mistakes

Common Mistake

Double-counting the overlap when adding two sets' sizes.

|A∪B| = |A|+|B|-|A∩B| — you must subtract the overlap once, since it was counted in both |A| and |B|.

Historical Background

John Venn introduced the diagrams that bear his name in an 1880 paper, building on earlier, less systematic diagrams by Leonhard Euler in the 18th century (now called Euler diagrams, which don't require showing every possible logical combination). Venn's key contribution was requiring every diagram to show ALL 2ⁿ possible overlap regions for n sets, even empty ones.

1761
Leonhard Euler uses circle diagrams to illustrate syllogisms
Leonhard Euler
1880
John Venn publishes the systematic diagrams that bear his name
John Venn

Summary

A Venn diagram shows sets as overlapping circles inside a universal-set rectangle.
Each region corresponds to exactly one combination of set membership.
Union, intersection, difference, and complement are all specific regions of the diagram.
The inclusion-exclusion formula |A∪B|=|A|+|B|-|A∩B| corrects for double-counting the overlap.

References

WebsiteWikipedia — Venn diagram