The four basic two-set operations — union, intersection, difference, and complement — are usually introduced with three separate Venn diagrams and a paragraph each. Students accept the pictures one by one but end up confusing A \cap B with A \cup B under exam pressure, because the pictures were never laid out together. This article puts all four operations on the same two-circle Venn, side by side, so the only difference between them is which region is shaded. Once you see the four shadings as a family, the confusion stops.
The viz below also includes a slider-driven comparison: pick an operation and see which region of the universe it covers, which it leaves out, and which set-builder rule produces exactly that shaded region.
The four regions of a two-set Venn
First, a quick tour. Two circles A and B inside a universe rectangle U partition the universe into four regions:
- Region 1 — inside A only (the left crescent): in A, not in B.
- Region 2 — the central lens (the overlap): in A and in B.
- Region 3 — inside B only (the right crescent): in B, not in A.
- Region 4 — outside both circles: in neither A nor B.
Every element of the universe lives in exactly one of these four regions. That is the key fact that lets you read operations off the diagram.
The four operations as shadings
Each of the four operations shades a specific combination of regions.
- A \cup B (union) shades regions 1 + 2 + 3 — everything in at least one circle.
- A \cap B (intersection) shades region 2 only — the central lens.
- A - B (difference) shades region 1 only — the left crescent.
- A' (complement of A) shades regions 3 + 4 — everything outside circle A.
That is the whole picture. Each operation picks a specific collection of regions; no two operations pick the same one.
The interactive viz
Pick one of the four operations. The Venn diagram shades exactly the regions that operation covers. Drag the draggable point around the universe rectangle — the readout tells you whether the point currently lies in the shaded region, and which of the four Venn regions it occupies.
Pick one of five operations (union, intersection, difference, complement, symmetric difference). The shaded blue region is exactly what that operation selects. Drag the red/grey dot: red when the point falls inside the shaded region, grey when it falls outside. The overlap slider drags the two circles closer or further apart — watch how the central lens shrinks to a point as the circles separate.
Try these specific positions:
- Drag the point to x = -4. Readout: in A? 1; in B? 0. The point is in A only — the left crescent of the Venn.
- Drag to x = 0. Readout: in A? 1; in B? 1. The point is in A \cap B — the central lens.
- Drag to x = 4. Readout: in A? 0; in B? 1. The point is in B only — the right crescent.
- Drag to x = 8. Readout: in A? 0; in B? 0. The point is in (A \cup B)' — outside both circles.
The draggable dot is a one-to-one analogue of dropping an element onto a Venn. The axis replaces the two-dimensional picture with a one-dimensional slice, but the membership logic is identical: two yes/no questions, four possible answers, four regions.
Reading operations off the membership
Every operation is a function of the two yes/no answers.
| Region | In A? | In B? | Which ops contain this region? |
|---|---|---|---|
| 1 (A only) | yes | no | A, A \cup B, A - B, B' |
| 2 (overlap) | yes | yes | A, B, A \cup B, A \cap B |
| 3 (B only) | no | yes | B, A \cup B, B - A, A' |
| 4 (outside) | no | no | A', B', (A \cup B)' |
Reading down any column tells you exactly which operations "include" each region. Reading across any row tells you exactly which sets each region belongs to. The table is the complete truth table for two-set operations — and every Venn shading picture is a visual rendering of one row or combination of rows of this table.
Why the table works: set operations are Boolean combinations of membership questions. "Is x \in A \cup B?" is just "is x \in A OR is x \in B?" — which depends only on the two yes/no bits. So each operation is a function from \{0, 1\} \times \{0, 1\} (the four rows) to \{0, 1\} (shaded or not). There are only 2^4 = 16 such functions, and the four operations above are four of them; complement, symmetric difference, and the rest fill out the other twelve.
The one identity that makes the viz come alive
Notice that the complement of circle A in the bottom-right shading covers regions 3 + 4, which is the same as:
But that's just A' = (B - A) \cup (A \cup B)' = everything not in A, as you would expect. The picture makes it automatic: once you can read which regions a set occupies, Boolean identities like De Morgan's laws ((A \cup B)' = A' \cap B') become region-checking exercises rather than algebraic surprises.
Shade the left side of De Morgan, shade the right side, compare the shaded regions. If they match, the identity is true. Try it for De Morgan on the two-circle diagram and you will see — both sides shade exactly region 4 (the outside).
When to reach for this viz
Use the interactive number-line viz whenever you want to test a membership question concretely. "Is x = 3 in A \cap B?" — drag the dot to 3, read the memberships, check. Use the static four-panel viz whenever you want to compare operations: union vs intersection, difference vs complement. And when the problem involves three sets, graduate to the eight-zone three-circle Venn covered in Three-Set Venn Diagram: All Eight Zones.
Related: Set Operations · Venn Diagrams from Scratch · Three-Set Venn Diagram: All Eight Zones · Sets — Introduction