A Venn diagram is a visual tool that uses overlapping shapes (usually circles) to show how sets relate to each other. They turn abstract set operations into something you can actually see, which makes them invaluable for reasoning about unions, intersections, complements, and more.

Elements and sets

A set is a collection of distinct objects called elements. You write sets using curly braces, like $\{a, b, c\}$ . Elements show up as points or labels placed inside the appropriate region of the diagram.

Sets can be finite (a countable number of elements, like $\{1, 2, 3\}$ ) or infinite (like the set of all even numbers).

Circular representation

Each set in a Venn diagram is drawn as a circle (or oval). Every element belonging to that set sits inside its circle. Where two circles overlap, the elements in that overlap belong to both sets.

One thing to watch: the size of a circle doesn't necessarily reflect how many elements the set has. Circle size is about making the diagram readable, not about proportionality.

Overlapping regions

The area where circles intersect contains elements shared by multiple sets.
The non-overlapping parts of each circle contain elements unique to that set.
For $n$ sets, a Venn diagram has $2^n$ possible regions. So 2 sets give you 4 regions, 3 sets give you 8, and so on.
Shading or coloring specific regions is how you visually represent particular set operations.

Components of Venn diagrams

Universal set

The universal set (denoted $U$ or sometimes $\Omega$ ) is the "everything under consideration" for a given problem. In a Venn diagram, it's drawn as a rectangle that contains all the circles. Any element that's inside the rectangle but outside every circle belongs to the universal set alone and to none of the named sets.

Subsets and supersets

Subset: $A \subseteq B$ means every element of $A$ is also in $B$ .
Proper subset: $A \subset B$ means $A \subseteq B$ and $A \neq B$ (so $B$ has at least one element that $A$ doesn't).
Superset: $B \supseteq A$ is just the reverse perspective: $B$ contains all of $A$ .

In a Venn diagram, a subset appears as a circle drawn entirely inside a larger circle. If you see circle $A$ sitting completely within circle $B$ , that tells you $A \subseteq B$ .

Intersections and unions

Intersection ( $A \cap B$ ): the elements that are in both $A$ and $B$ . This is the overlapping region.
Union ( $A \cup B$ ): the elements that are in $A$ or $B$ or both. This covers everything inside either circle.

These two operations are the workhorses of set theory, and being able to spot them on a Venn diagram is essential.

Types of Venn diagrams

Two-set diagrams

The simplest Venn diagram has two overlapping circles. This creates four distinct regions:

Elements only in $A$ (left part of circle $A$ , outside $B$ )
Elements only in $B$ (right part of circle $B$ , outside $A$ )
Elements in both $A$ and $B$ (the overlap)
Elements in neither set (inside the rectangle but outside both circles)

These are great for straightforward comparisons between two categories.

Three-set diagrams

Three overlapping circles create eight distinct regions (since $2^3 = 8$ ): one for each possible combination of membership in $A$ , $B$ , and $C$ , plus the region outside all three. The central region where all three circles overlap represents $A \cap B \cap C$ .

Complex multi-set diagrams

Once you go beyond three sets, simple circles can't produce all the required overlapping regions. Four or more sets require shapes like ellipses or irregular curves.

Edwards-Venn diagrams use rotational symmetry and can handle up to about 6 sets.
Diagrams for 7 sets use ellipses arranged in specific patterns.

These get complicated fast, so in practice, most problems stick to two or three sets.

Set operations in Venn diagrams

Union of sets

The union $A \cup B$ includes every element that's in $A$ , in $B$ , or in both. On a Venn diagram, you shade the entire area covered by either circle.

The counting formula is important:

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

You subtract $|A \cap B|$ because those elements got counted twice (once in $|A|$ and once in $|B|$ ). In probability, this same logic gives you $P(A \text{ or } B)$ .

Elements and sets, Set operations illustrated with Venn diagrams | TikZ example

Intersection of sets

The intersection $A \cap B$ contains only the elements that belong to both sets. On the diagram, it's the overlapping region.

The size of the intersection is bounded: $|A \cap B| \leq \min(|A|, |B|)$ . That makes sense because the overlap can't be bigger than the smaller set.

Complement of sets

The complement of $A$ (written $A^c$ or $A'$ ) is everything in the universal set that's not in $A$ . On the diagram, shade everything outside circle $A$ but still inside the rectangle.

$|A^c| = |U| - |A|$

In probability, if $P(A) = 0.3$ , then $P(A^c) = 0.7$ .

Difference between sets

The difference $A - B$ (also called the relative complement of $B$ in $A$ ) contains elements that are in $A$ but not in $B$ . On the diagram, shade the part of circle $A$ that doesn't overlap with $B$ .

$|A - B| = |A| - |A \cap B|$

Note that $A - B \neq B - A$ in general. Set difference is not commutative.

Logical relationships in Venn diagrams

Mutually exclusive sets

Two sets are mutually exclusive (or disjoint) when they share no elements at all. Their intersection is the empty set:

$A \cap B = \emptyset$

On a Venn diagram, mutually exclusive sets appear as circles that don't overlap. A classic example: the event of rolling a 6 and the event of rolling a 1 on a single die. These can't happen at the same time.

Exhaustive sets

A collection of sets is exhaustive if their union covers the entire universal set. Every element in $U$ belongs to at least one of the sets. On a Venn diagram, the circles together fill the entire rectangle.

In probability, exhaustive events account for all possible outcomes, so their probabilities sum to 1.

Subset relationships

When $A \subseteq B$ , circle $A$ sits entirely inside circle $B$ . Two useful identities follow directly from this:

$A \cap B = A$ (the overlap is all of $A$ , since $A$ is entirely within $B$ )
$A \cup B = B$ (combining them just gives you $B$ )

A familiar example: the set of all squares is a subset of the set of all rectangles. Every square is a rectangle, but not every rectangle is a square.

Applications of Venn diagrams

Problem-solving techniques

Venn diagrams break complex problems into manageable pieces. For survey-type problems (e.g., "80 students study French, 65 study Spanish, 30 study both..."), placing numbers in each region of the diagram lets you find totals, differences, and unknowns systematically.

They're also used in syllogistic reasoning to test whether logical arguments are valid by checking if the diagram supports the conclusion.

Data organization

Categorize information into distinct or overlapping groups
Visualize relationships between data sets (useful in database design for understanding how entities relate)
Aid in market segmentation by showing where customer groups overlap

Logical reasoning

Venn diagrams map directly onto Boolean logic: intersection corresponds to AND, union to OR, and complement to NOT. Drawing out the diagram can reveal logical fallacies or inconsistencies in an argument that are hard to spot from words alone.

Venn diagrams vs other diagrams

Euler diagrams

Euler diagrams look similar to Venn diagrams but with one key difference: they only show intersections that actually exist. A Venn diagram for three sets always shows all eight regions, even if some are empty. An Euler diagram omits impossible or empty intersections, which can make it cleaner and easier to read for real-world relationships like taxonomies or hierarchies.

Elements and sets, Set notation - Dave Tang's blog

Tree diagrams

Tree diagrams represent sequential events or hierarchical relationships. They're especially useful in probability for multi-step experiments because each branch shows a possible outcome and its probability. Where Venn diagrams show overlap, tree diagrams show sequence.

Karnaugh maps

Karnaugh maps (K-maps) are used in digital logic to simplify Boolean expressions. They lay out truth table values in a 2D grid so that adjacent cells differ by only one variable, making it easy to spot simplifications. For problems with 4 or more variables, K-maps are generally more practical than Venn diagrams.

Advanced concepts

Symmetric difference

The symmetric difference of two sets contains elements that are in one set or the other, but not both. Think of it as the union minus the intersection.

$A \triangle B = (A \cup B) - (A \cap B) = (A - B) \cup (B - A)$

On a Venn diagram, you shade the parts of each circle that don't overlap. It's sometimes written $A \oplus B$ .

De Morgan's laws

These two laws connect complements with unions and intersections:

$\overline{A \cup B} = \overline{A} \cap \overline{B}$ (the complement of a union is the intersection of the complements)
$\overline{A \cap B} = \overline{A} \cup \overline{B}$ (the complement of an intersection is the union of the complements)

You can verify both by shading the appropriate regions on a Venn diagram and checking that the results match. These laws show up constantly in Boolean algebra and digital circuit design.

Venn diagram algebra

Set operations follow algebraic rules that you can visualize on Venn diagrams:

Distributive property: $A \cap (B \cup C) = (A \cap B) \cup (A \cap C)$
Absorption: $A \cup (A \cap B) = A$

Drawing both sides of an identity on separate Venn diagrams and confirming they produce the same shaded region is a reliable way to verify set theory proofs.

Common errors in Venn diagrams

Misrepresentation of relationships

Drawing subsets as partially overlapping when one circle should be entirely inside the other
Failing to show all possible intersections (a proper Venn diagram for 3 sets needs all 8 regions)
Forgetting to include the universal set rectangle

Incorrect set sizing

Circle sizes in a standard Venn diagram are arbitrary. Don't assume a bigger circle means a bigger set, and don't feel obligated to make circles proportional to cardinality. (There are proportional Venn diagrams, but those are a separate tool used in data visualization.)

Overlooking empty sets

An empty intersection is still a valid region. If $A \cap B = \emptyset$ , that region exists on the diagram but contains zero elements. A common mistake is assuming every region must have elements in it, or forgetting to label empty regions. Always check whether a region is empty before drawing conclusions.

Venn diagrams in probability

Sample spaces

The universal set in a probability Venn diagram represents the sample space: all possible outcomes of an experiment. Individual events are subsets drawn as circles within that space. This setup lets you calculate probabilities of unions, intersections, and complements by comparing region sizes to the total.

Conditional probability

Conditional probability asks: given that event $B$ has occurred, what's the probability of $A$ ? The formula is:

$P(A|B) = \frac{P(A \cap B)}{P(B)}$

On a Venn diagram, you're essentially "zooming in" on circle $B$ and asking what fraction of it is also covered by $A$ . This visual interpretation also helps when working with Bayes' theorem.

Independent vs dependent events

Two events are independent if knowing one occurred doesn't change the probability of the other. Mathematically, this means:

$P(A \cap B) = P(A) \cdot P(B)$

On a Venn diagram, independent events have an intersection whose area equals the product of the individual areas. If the intersection is larger or smaller than that product, the events are dependent. Checking this relationship on a diagram can help you identify dependencies that aren't obvious from the problem statement.

2,589 studying →