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:

Relationships between sets (subset, disjoint, overlapping)

Results of operations like union, intersection, and complement

The logical structure of set expressions

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.

UAB

The bare anatomy

Two closed curves inside the rectangle U — nothing shaded yet, but every region a point could occupy is already there: inside one circle, inside both, or outside both. Bring this skeleton to life, scenario by scenario, on the two-set Venn explorer.

Everything a Venn diagram will ever say is said with these ingredients — curves, overlaps, and the rectangle that bounds them.

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

UABA ∖ BA ∩ BB ∖ A(A ∪ B)ᶜ

The four regions, labeled

Each of the four regions carries its own notation: the lens A ∩ B, the two crescents A ∖ B and B ∖ A, and the outside (A ∪ B)ᶜ. Every two-set operation shades some combination of exactly these four. Walk through all of them on the two-set Venn explorer.

Four regions, four membership patterns — once you can name each one, reading any two-set shading becomes mechanical.

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

UABC

A ∩ B ∩ C, frozen

Three circles arranged so every overlap combination occurs; here the central region — elements in all three sets at once — is shaded. Explore each of the eight regions in turn on the three-set Venn explorer.

Eight regions for three sets, sixteen for four: the doubling is exactly why circles run out of room beyond three, and why the three-set diagram is the workhorse of the genre.

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)

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

Then shade all of $A$

The union combines both shaded areas

For

(A \cup B) \cap C

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

Then identify which parts lie inside $C$

The intersection keeps only the shaded region that falls within $C$

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.

UABC

A ∪ (B ∩ C), frozen

The worked example from this section, shaded inside-out: first the B ∩ C lens, then all of A, their union combined in one picture. Play compound shadings like this one step by step on the three-set laws explorer.

Inside-out shading is an algorithm, not an art — master it on one compound expression and every other expression follows the same three steps.

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

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

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

Both sides produce the same shaded region — the area outside both circles

Verifying the distributive law

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

Left side: shade $B \cup C$ , then restrict to the part inside $A$

Right side: shade $A \cap B$ and $A \cap C$ , then take their union

Both produce the same shaded regions within circle $A$

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

UAB

(A ∪ B)ᶜ, frozen

De Morgan’s first law, verified by eye: the complement of the union is everything outside both circles — exactly the region Aᶜ ∩ Bᶜ produces. Check both sides of this identity, and a dozen others, on the two-set laws explorer.

A matching pair of shaded diagrams is persuasive evidence, not a proof — but it is the fastest way to see why an identity deserves one.

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 →