Venn Diagrams

Using Venn Diagrams to Verify Set Identities

Visualizing Set Relationships

Venn diagrams provide a visual representation of sets and their relationships. By depicting sets as overlapping regions, these diagrams make set operations immediately visible and offer an intuitive way to verify set identities. They are indispensable tools for understanding how sets combine and interact.

Key Terms

Venn Diagram— overlapping curves representing sets and their relationships

Union— total shaded area of all circles

Intersection— the overlapping region between circles

Complement— area outside a circle but inside the rectangle

Disjoint Sets— represented by non-overlapping circles

Universal Set— represented by the enclosing rectangle

See All Set Theory Definitions →

What Are Venn Diagrams

A Venn diagram represents sets as closed curves — typically circles — drawn inside a rectangle that represents the universal set

U

. The interior of each curve contains the elements of that set.

When curves overlap, the overlapping region represents elements belonging to multiple sets simultaneously. Each distinct region of the diagram corresponds to a unique combination of set memberships.

The purpose of Venn diagrams is to visualize:

operations like union, intersection, and complement

Every point in the diagram belongs to a specific region, and every region represents elements with a particular membership pattern — in some sets and not in others.

Two-Set Venn Diagrams

A two-set Venn diagram consists of two overlapping circles inside a rectangle. Label the circles

A

and

B

, with the rectangle representing

U

This arrangement creates four distinct regions:

$A \cap B$ — the lens-shaped overlap, elements in both sets

$A \setminus B$ — the part of $A$ outside $B$ , elements in $A$ only

$B \setminus A$ — the part of $B$ outside $A$ , elements in $B$ only

$(A \cup B)^c$ — the area outside both circles, elements in neither set

Visualizing operations:

Union $A \cup B$ : shade both circles entirely

Intersection $A \cap B$ : shade only the overlap

Complement $A^c$ : shade everything outside circle $A$

Difference $A \setminus B$ : shade circle $A$ but not the overlap

Symmetric difference $A \triangle B$ : shade both circles except the overlap

Operation	Notation	What to shade on the 2-set Venn (circles A and B)
Union	A ∪ B	both circles entirely (including the overlap)
Intersection	A ∩ B	only the lens-shaped overlap
Complement	A^c	everything inside the rectangle but outside circle A
Set difference	A \ B	circle A with the overlap excluded
Symmetric difference	A △ B	both circles with the overlap excluded

Three-Set Venn Diagrams

A three-set Venn diagram uses three overlapping circles labeled

A

B

, and

C

. The circles must be arranged so that every possible combination of overlaps occurs.

This produces eight distinct regions:

$A \cap B \cap C$ — the central region where all three overlap

$A \cap B \cap C^c$ — in $A$ and $B$ but not $C$

$A \cap C \cap B^c$ — in $A$ and $C$ but not $B$

$B \cap C \cap A^c$ — in $B$ and $C$ but not $A$

$A \cap B^c \cap C^c$ — in $A$ only

$B \cap A^c \cap C^c$ — in $B$ only

$C \cap A^c \cap B^c$ — in $C$ only

$A^c \cap B^c \cap C^c$ — outside all three circles

Each region corresponds to one row of a truth table with three variables. The eight regions represent all

2^3 = 8

possible membership combinations.

For more than three sets, standard Venn diagrams become difficult to draw because circles cannot produce all required overlaps. Alternative shapes such as ellipses or more complex curves are needed.

Region (formal)	In A? In B? In C?	Description
A ∩ B ∩ C	✓ ✓ ✓	central region — in all three sets
A ∩ B ∩ C^c	✓ ✓ ✗	in A and B but not C
A ∩ C ∩ B^c	✓ ✗ ✓	in A and C but not B
B ∩ C ∩ A^c	✗ ✓ ✓	in B and C but not A
A ∩ B^c ∩ C^c	✓ ✗ ✗	in A only
B ∩ A^c ∩ C^c	✗ ✓ ✗	in B only
C ∩ A^c ∩ B^c	✗ ✗ ✓	in C only
A^c ∩ B^c ∩ C^c	✗ ✗ ✗	outside all three circles

Shading Regions

To shade a region for a given set expression, work from the inside out:

1. Identify the innermost operations

2. Shade the regions corresponding to each subexpression

3. Combine according to the outer operation

For

A \cup (B \cap C)

$B \cap C$ — the region where circles $B$ and $C$ overlap

For

(A \cup B) \cap C

$A \cup B$ — both circles $A$ and $B$

Reading a shaded diagram requires the reverse process: examine which basic regions are shaded, then express the result using set notation. Complex shadings may require expressing the result as a union of disjoint regions.

Using Venn Diagrams to Verify Set Identities

Venn diagrams provide a visual method for verifying set identities. To check whether two expressions are equal:

1. Draw a Venn diagram and shade the regions for the left side of the identity

2. Draw another diagram and shade the regions for the right side

3. If the shaded regions match exactly, the identity holds

Verifying De Morgan's law

(A \cup B)^c = A^c \cap B^c

$A \cup B$ (both circles), then take the complement (shade everything outside)

$A^c$ is outside circle $A$ ; $B^c$ is outside circle $B$ ; their intersection is the region outside both circles

Verifying the distributive law

A \cap (B \cup C) = (A \cap B) \cup (A \cap C)

$B \cup C$ , then restrict to the part inside $A$

$A \cap B$ and $A \cap C$ , then take their union

This method works for any identity involving a finite number of sets, though it constitutes a verification rather than a formal proof.

Venn Diagram FAQ

How many regions does a Venn diagram have?

A two-set Venn diagram has four regions and a three-set diagram has eight. The rule is 2ⁿ for n sets, because every region corresponds to one combination of being inside or outside each circle. That includes the region outside every circle, which represents elements belonging to none of the sets.Read more →

What does the rectangle represent in a Venn diagram?

The rectangle is the universal set U — every element under discussion. Circles inside it hold the individual sets, and the space between a circle and the rectangle edge represents that set's complement. Without the rectangle, complements cannot be drawn at all, since there would be no outer boundary for the rest of the universe to end at.Read more →

How do you shade a Venn diagram for union, intersection, and difference?

Union shades both circles completely. Intersection shades only the lens where they overlap. Difference A ∖ B shades the part of A lying outside B, leaving the lens blank. Symmetric difference shades both circles but carves out the lens. Set the operation yourself on the two-set Venn explorer and watch the shading change.Read more →

Why can't you draw a standard Venn diagram for four or more sets?

Circles stop working past three sets. A valid Venn diagram needs one region for every membership combination — 2ⁿ of them — and four circles cannot be arranged to produce all sixteen. Ellipses or more irregular curves are required instead, which is why four-set diagrams look nothing like the familiar overlapping circles.Read more →

How do you verify De Morgan's law with a Venn diagram?

Shade each side separately and compare. For (A ∪ B)ᶜ, shade both circles then invert, leaving the area outside both. For Aᶜ ∩ Bᶜ, shade outside A, shade outside B, and keep only the overlap — again the area outside both. Matching shading confirms the identity. Step through it on the two-set laws explorer.Read more →