Category membership data describes which items belong to which groups. A list of students enrolled in different courses, for instance, may show that some students take mathematics, some take science, and others take both. Set notation provides a concise way to express these relationships, while a Venn diagram displays them visually. Moving between the two formats helps make overlaps, exclusive memberships and totals easier to interpret.
Define the universe and the sets
Begin by identifying the universe: the complete collection of items being considered. If a survey covers 40 students, the universe, often written as U, is those 40 students. Each category becomes a set containing the items that belong to it. Let M represent students taking mathematics and S represent students taking science. A student may appear in both sets if they take both courses.
Clarifying the universe matters because membership statements depend on the population under study. A set of students enrolled at one school is distinct from a set of all students in a district. Once the universe is defined, each category should have a consistent rule for inclusion. This makes the diagram and its notation correspond to the same data.
Translate membership into notation
Set notation describes membership and relationships with compact symbols. The expression x ∈ M means that item x belongs to set M, while x ∉ M means it does not. The intersection M ∩ S contains items that belong to both sets. The union M ∪ S contains items belonging to M, S, or both. The difference M \ S contains items in M that are not in S, and the complement Mᶜ contains items in the universe that are not in M.
A dataset can use domain-specific labels, and a category named Non Gamstop Casinos can be represented by a set in exactly the same way as labels for other membership groups. The important step is to define what qualifies an item for each category, then apply that definition consistently. The notation describes relationships among the categories; it does not depend on the subject matter of the labels.
Place the data in a Venn diagram
For two sets, draw a rectangle for the universe and two overlapping circles for the categories. Label the circles M and S. The overlapping region represents M ∩ S, while the non-overlapping part of the M circle represents M \ S. The area inside the rectangle but outside both circles represents items in neither set. If the information is given as counts, place each count in its specific region rather than treating the circle totals as separate, non-overlapping quantities.
Suppose 18 students take mathematics, 15 take science, and 7 take both. The intersection region receives 7. The mathematics-only region contains 18 − 7, or 11 students, and the science-only region contains 15 − 7, or 8. Together, 26 students take at least one of the two subjects, since |M ∪ S| = |M| + |S| − |M ∩ S|. Subtracting 26 from the universe of 40 leaves 14 students in neither set.
Check the diagram against the data
After filling the regions, add them to confirm that they account for the entire universe. In the example, 11 + 7 + 8 + 14 equals 40. The circle totals can also be checked: the mathematics regions total 18, and the science regions total 15. These checks help ensure that shared members have been counted once in the overlap and that the outer region reflects the complement of the union.
With three categories, a Venn diagram uses three overlapping circles and includes regions for every possible combination of membership. Set expressions remain useful for describing those regions precisely, while the diagram makes the combinations visible. Starting with a defined universe, translating each category into a set, and checking the resulting counts creates a clear connection between the original membership data and its visual representation.