What identities can the explorer visualize?

The explorer covers 40 three-set identities organized into six categories: basic sets A, B, C, the universal set, and the empty set; complements A prime, B prime, C prime; pairwise and triple intersections and unions; differences including the symmetric differences A triangle B and A triangle B triangle C; compound expressions like A intersect (B union C) and counting identities like exactly two of A, B, C; and the two De Morgan's laws for three sets.

What are De Morgan's laws for three sets?

De Morgan's laws for three sets state that the complement of the triple union equals the intersection of the three complements, and the complement of the triple intersection equals the union of the three complements. Symbolically, (A union B union C) prime equals A prime intersect B prime intersect C prime, and (A intersect B intersect C) prime equals A prime union B prime union C prime. Both can be verified visually with the explorer.

How many regions does a three-set Venn diagram have?

A three-circle Venn diagram divides the universal set into exactly eight disjoint regions: one outside all three circles, three regions where elements belong to only one set, three regions where elements belong to exactly two sets but not the third, and one central region where elements belong to all three sets. Every three-set algebraic expression highlights some subset of these eight regions.

What does exactly two of A, B, C mean in a Venn diagram?

Exactly two of A, B, C describes elements that belong to two of the three sets but not the third. In a three-circle Venn diagram, this corresponds to the three regions where exactly two circles overlap, excluding the central region where all three overlap. The explorer shades these three pairwise-but-not-triple regions under the Compound tab.

Venn Diagrams: Three Sets Basic Identities

Regions of interest in three-set algebra

Jump to

DiagramA

Theme

ColorOpacity0.85

1 / 40

Explanation

Set A

Definition

The set A.

Example

A = {1,2,3}

Key Terms

Getting Started with the Explorer

Navigating Category Tabs

Selecting an Identity

Reading the Shaded Venn Diagram

Customizing Color and Opacity

Previous and Next Navigation

What is a Three-Set Venn Diagram?

Three-Set Operations

De Morgan's Laws for Three Sets

Counting Identities Unique to Three Sets

Related Concepts and Tools

Key Terms

Set — a collection of distinct elements
Universal set — the set containing every element under consideration, denoted $U$
Union — $A \cup B \cup C$ , elements in at least one of $A$ , $B$ , $C$
Intersection — $A \cap B \cap C$ , elements in all three sets
Pairwise intersection — $A \cap B$ , $A \cap C$ , or $B \cap C$
Complement — $A'$ , elements in $U$ but not in $A$
Set difference — $A \setminus B$ , elements in $A$ but not in $B$
Symmetric difference — $A \triangle B \triangle C$ , elements in an odd number of $A$ , $B$ , $C$
De Morgan's laws (three sets) — $(A \cup B \cup C)' = A' \cap B' \cap C'$ and $(A \cap B \cap C)' = A' \cup B' \cup C'$
Region — one of the eight disjoint pieces a three-circle Venn diagram divides the universe into

Getting Started with the Explorer

Open the explorer and a three-circle Venn diagram appears with the first identity pre-selected. The blue shaded regions mark the elements that satisfy the current identity; the unshaded regions are excluded. The symbol of the current identity appears in the badge above the diagram, and the explanation panel beside it describes what the highlighted regions mean.

The interface has three main controls. The category tabs at the top group identities by type. The formula buttons below the tabs show the identities within the active category. The Jump to dropdown on the right lists every identity across all categories in one place.

At the bottom of the diagram column, Previous and Next cycle through all 40 identities in order, with a counter showing your current position. The theme panel underneath lets you customize the shading color and opacity.

No setup is required — pick any tab and any button to see the corresponding region combination light up immediately.

Navigating Category Tabs

The category tabs organize all 40 identities into six groups based on their structural role:

• Basic Sets — the sets

A

B

C

themselves, the universal set

U

, and the empty set

\emptyset

• Complements —

A'

B'

, and

C'

• Intersection & Union — the triple intersection

A \cap B \cap C

, the three pairwise intersections, the triple union

A \cup B \cup C

, and the three pairwise unions
• Differences — the six pairwise differences, the three "only" regions like

A \setminus (B \cup C)

, the mixed

(A \cup B) \setminus C

, and the symmetric differences

A \triangle B

and

A \triangle B \triangle C

• Compound — three-set expressions including

A \cap (B \cup C)

A \cup (B \cap C)

, "exactly one of

A, B, C

", "exactly two", "at least two", and "at most one"
• De Morgan's Laws —

(A \cup B \cup C)'

and

(A \cap B \cap C)'

Click a tab to switch the row of formula buttons below. The active tab updates automatically when you navigate with Previous/Next. The tab strip scrolls horizontally on narrow screens.

Selecting an Identity

Two ways to pick an identity. Use the formula buttons under the active tab to choose from identities in that category — each button shows the set-theory notation (

A \cup B \cup C

A'

A \triangle B \triangle C

, "exactly two", and so on). Or use the Jump to dropdown, which lists every identity across all six categories in one menu, grouped by tab.

When you select an identity, three things update simultaneously:

• The diagram shading changes to highlight the regions belonging to the new identity
• The badge above the diagram updates to the new symbol
• The explanation panel refreshes with a definition and, where applicable, a numerical example like

A = \{1,2,3\}

B = \{2,3,4\}

C = \{3,4,5\}

for the triple intersection

The active category tab follows your selection, so you always see which group the current identity belongs to.

Reading the Shaded Venn Diagram

A three-circle Venn diagram divides the universe into eight disjoint regions, and every three-set identity highlights some combination of them:

• Outside all three circles — elements in none of

A

B

C

, formally

A' \cap B' \cap C'

• Only in A — formally

A \setminus (B \cup C)

• Only in B — formally

B \setminus (A \cup C)

• Only in C — formally

C \setminus (A \cup B)

• In A and B, not C — formally

A \cap B \cap C'

• In A and C, not B — formally

A \cap B' \cap C

• In B and C, not A — formally

A' \cap B \cap C

• In all three — the triple intersection

A \cap B \cap C

, the central region

For example,

A \cup B \cup C

shades all seven regions inside any circle. "Exactly one" shades only the three "only" regions. "Exactly two" shades only the three pairwise-but-not-triple regions.

(A \cup B \cup C)'

shades only the outside region. Hover over any region for a tooltip naming it.

Customizing Color and Opacity

The Theme panel below the diagram offers two adjustments to the shaded regions.

The color picker changes the shading hue. Useful when printing, presenting, comparing diagrams side by side, or matching the color scheme of a course or textbook. Any standard color value works.

The opacity slider controls how transparent the shading is, ranging from

1.00

(fully opaque) to

0.00

(invisible). Lower opacity is helpful when you want to see the underlying circle outlines through the fill, especially in the central triple-intersection region where multiple overlapping boundaries meet. The current numeric value appears next to the slider in monospace.

Click Reset to return both controls to the defaults — blue at

0.85

opacity. Theme changes persist as you navigate between scenarios, so adjustments stay applied across the entire session.

Previous and Next Navigation

At the bottom of the diagram column, the Previous and Next buttons cycle through all 40 identities in the order defined by the category groups: Basic Sets, then Complements, then Intersection & Union, then Differences, Compound, and finally De Morgan's Laws. The counter between the two buttons displays the current position, formatted as "

n

40

".

Navigation wraps around: pressing Previous on the first scenario jumps to the last, and pressing Next on the last returns to the first. This makes the explorer well suited for systematic review — start at the first identity and click through every region combination one by one to see how each algebraic expression maps to a subset of the eight regions.

The active tab and active formula button update automatically as you advance, so you always know which group the current identity belongs to.

What is a Three-Set Venn Diagram?

A three-set Venn diagram is a visual representation of three sets drawn as three overlapping circles inside a rectangle. The rectangle represents the universal set

U

— everything under consideration. The three circles, labeled

A

B

, and

C

, are arranged symmetrically so that every possible combination of memberships produces its own region.

The diagram has exactly eight disjoint regions: one outside all circles, three "only" regions (only in

A

, only in

B

, only in

C

), three pairwise-but-not-triple regions, and the central triple intersection. Every algebraic combination of three sets — no matter how complex — maps to some union of these eight regions.

This is what gives three-set diagrams their distinctive value: they can visualize "counting" identities like "exactly two of

A, B, C

" or "at least one of

A, B, C

" that have no analogue in the two-set case, where there is no notion of "exactly two of two."

For comprehensive theory on Venn diagrams across different numbers of sets, see Venn diagrams.

Three-Set Operations

Three-set algebra is generated by the same five operations as two-set algebra, but applied to three operands:

Triple union

A \cup B \cup C

— elements in at least one of

A

B

C

. Visually, every region inside any circle.

Triple intersection

A \cap B \cap C

— elements in all three sets simultaneously. Visually, the central region where all three circles overlap.

Pairwise intersection

A \cap B

— elements in both

A

and

B

, regardless of

C

. Visually, two regions: the "in A and B, not C" region and the central triple intersection.

Complement

A'

— elements outside

A

. With three sets this shades four regions: outside all circles, only in

B

, only in

C

, and the

B \cap C

region.

Difference

A \setminus B

— elements in

A

but not in

B

. Two regions: "only in A" and "in A and C, not B".

Symmetric difference

A \triangle B \triangle C

— elements in an odd number of the three sets. Four regions: the three "only" regions plus the triple intersection.

For formal definitions and algebraic properties, see set operations.

De Morgan's Laws for Three Sets

De Morgan's laws extend cleanly from two sets to three:

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

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

The complement of the triple union equals the intersection of the three complements. The complement of the triple intersection equals the union of the three complements. The pattern generalizes to any finite collection of sets.

Both laws can be verified visually with the explorer. Select

(A \cup B \cup C)'

from the De Morgan's Laws tab: only the region outside all three circles is shaded. That same region is what

A' \cap B' \cap C'

would produce — outside

A

and outside

B

and outside

C

simultaneously. Likewise,

(A \cap B \cap C)'

shades everything except the central triple intersection — the same regions that

A' \cup B' \cup C'

produces.

For algebraic proofs, the general

n

-set form, and applications to propositional logic, see De Morgan's laws.

Counting Identities Unique to Three Sets

Three-set algebra is the smallest setting where "counting" identities become non-trivial. The Compound tab collects them:

Exactly one of $A, B, C$ — elements in exactly one of the three sets. Shades the three "only" regions.

Exactly two of $A, B, C$ — elements in exactly two of the three sets. Shades the three pairwise-but-not-triple regions, excluding the central triple intersection.

At least two of $A, B, C$ — elements in two or three sets. Combines "exactly two" with the triple intersection.

At most one of $A, B, C$ — elements in zero or one sets. Combines the outside region with the three "only" regions.

These identities are typical of how three-set Venn diagrams are applied in combinatorics, probability (inclusion-exclusion), and survey analysis. The two-set case collapses most of them — "exactly two of two" is just the intersection, "at least two of two" is also the intersection.

For comprehensive treatment, see set laws and identities.

Related Concepts and Tools

Set Operations — formal definitions and properties of union, intersection, complement, difference, and symmetric difference.

Venn Diagrams — overview of one-set, two-set, and three-set diagrams, drawing conventions, and when each is appropriate.

De Morgan's Laws — algebraic proofs of the two-set and three-set forms and the generalization to arbitrary collections of sets.

Two-Set Venn Diagram — the simpler two-circle case with four regions; useful for first exposure to the visual approach.

Inclusion-Exclusion Principle — the counting formula

|A \cup B \cup C| = |A| + |B| + |C| - |A \cap B| - |A \cap C| - |B \cap C| + |A \cap B \cap C|

, which depends on the eight-region decomposition.

Set Theory Definitions — glossary of foundational terms used throughout set algebra.

Set Laws and Identities — algebraic catalog of commutative, associative, distributive, absorption, and complement laws on sets.