Venn & Euler Diagram Set Operations

Formal Set Operations & Venn Topology

Venn diagrams and Euler sets represent logical set theory in spatial form. In Decision Making, candidates face two distinct challenge formats: calculating exact numerical populations across overlapping regions, or matching complex verbal propositions to the single valid diagrammatic topology. With an allocated pacing budget of 64s per item, candidates cannot afford brute-force guesswork.

1. Fundamental Set Theory Notation

All Venn calculations rely on universal set algebra:

• Universal Set ($U$ or $\xi$): The entire population under consideration (everything inside the bounding rectangle).
• Union ($A \cup B$): Elements in set A, or in set B, or in both (spatial footprint encompasses combined domain).
• Intersection ($A \cap B$): Elements strictly in both set A and set B (the overlapping shared lens).
• Set Difference / Relative Complement ($A \setminus B$ or $A \cap B'$): Elements in A that are strictly NOT in B (A only).
• Absolute Complement ($A'$): Everything in the universe outside set A ($U \setminus A$).
• Disjoint / Mutually Exclusive Sets ($A \cap B = \emptyset$): Sets with zero common members (spatially separated shapes with zero contact).
• Subset ($A \subset B$): Every member of A is inside B (Circle A drawn completely inside Circle B).

2. Standard Two-Set Population Arithmetic

In any two-set configuration within universe $U$:

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

$$|U| = |A \cup B| + |(A \cup B)'|$$

• Total in A Only: $|A_{\text{only}}| = |A| - |A \cap B|$
• Total in B Only: $|B_{\text{only}}| = |B| - |A \cap B|$
• Total in Exactly One Set: $|A_{\text{only}}| + |B_{\text{only}}| = |A| + |B| - 2|A \cap B|$