PracticeVideosBlogFlashcards

5.1 Set Theory, Operations & Venn Diagrams

Key Takeaways

  • The Principle of Inclusion-Exclusion (PIE) corrects for multiple-counting: |A ∪ B| = |A| + |B| - |A ∩ B| for two sets, and |A ∪ B ∪ C| = Σ|A_i| - Σ|A_i ∩ A_j| + |A ∩ B ∩ C| for three sets.

  • De Morgan's Laws establish fundamental operational dualities: (A ∪ B)ᶜ = Aᶜ ∩ Bᶜ and (A ∩ B)ᶜ = Aᶜ ∪ Bᶜ, converting complement unions into intersections and vice versa.

  • The Cartesian product A × B contains all ordered pairs (a, b) with cardinality |A × B| = |A| · |B|, while the power set 𝒫(A) contains exactly 2^|A| distinct subsets including ∅ and A.

  • Set difference A \ B = A ∩ Bᶜ isolates elements belonging strictly to A and not B; its cardinality satisfies |A \ B| = |A| - |A ∩ B|.

  • In multi-set word problems, populating Venn diagrams from the innermost triple intersection outward prevents compounding overcounting errors.

Last updated: September 2026

5.1 Set Theory, Operations & Venn Diagrams

Set theory provides the foundational language for formal mathematics, probability modeling, and data analysis on the Bocconi Admission Test. Questions testing set theory typically appear as overlapping group word problems, formal set algebra simplifications, or cardinality evaluations. Under the test's strict timing of approximately 90 seconds per question, mastering systematic Venn diagram decompositions and the algebraic Principle of Inclusion-Exclusion enables candidates to extract numerical solutions swiftly while avoiding double-counting traps.


1. Foundational Set Concepts and Notation

A set is a well-defined collection of distinct mathematical objects, termed elements. If an element xx belongs to set AA, we write x∈Ax \in A; if it does not, we write x∉Ax \notin A.

Core Definitions and Classifications

  • Universal Set (UU): The overarching frame of reference containing all possible elements under consideration in a given problem.
  • Empty Set (∅\emptyset or {}\{\}): The unique set containing no elements, with cardinality ∣∅∣=0|\emptyset| = 0. The empty set is a subset of every set: ∀A, ∅⊆A\forall A, \, \emptyset \subseteq A.
  • Subset (A⊆BA \subseteq B): Every element of AA is also an element of BB: ∀x,(x∈A  ⟹  x∈B)\forall x, \quad (x \in A \implies x \in B)
  • Proper Subset (A⊂BA \subset B): A⊆BA \subseteq B and A≠BA \neq B (meaning there exists at least one element y∈By \in B such that y∉Ay \notin A).
  • Cardinality (∣A∣|A| or n(A)n(A)): The total number of elements in a finite set AA.
  • Power Set (P(A)\mathcal{P}(A)): The set of all subsets of AA. If ∣A∣=n|A| = n, the power set contains exactly 2n2^n elements: ∣P(A)∣=2∣A∣|\mathcal{P}(A)| = 2^{|A|} Proof sketch: For each of the nn elements, there are 2 independent binary choices: include it in the subset or exclude it. By the multiplication principle, there are 2×2×⋯×2=2n2 \times 2 \times \dots \times 2 = 2^n unique subsets.

2. Fundamental Set Operations

Given subsets A,B⊆UA, B \subseteq U, standard binary and unary operations generate new sets:

OperationNotationFormal Set-Builder DefinitionVerbal Meaning
UnionA∪BA \cup B{x∈U∣x∈A∨x∈B}\{x \in U \mid x \in A \lor x \in B\}In AA, in BB, or in both (inclusive OR)
IntersectionA∩BA \cap B{x∈U∣x∈A∧x∈B}\{x \in U \mid x \in A \land x \in B\}In both AA and BB simultaneously (AND)
DifferenceA∖BA \setminus B (or A−BA - B){x∈U∣x∈A∧x∉B}=A∩Bc\{x \in U \mid x \in A \land x \notin B\} = A \cap B^cStrictly in AA, excluding any part of BB
ComplementAcA^c (or A′,A‾A', \overline{A}){x∈U∣x∉A}=U∖A\{x \in U \mid x \notin A\} = U \setminus AEverything in the universe outside AA
Symmetric Diff.AΔBA \Delta B(A∖B)∪(B∖A)=(A∪B)∖(A∩B)(A \setminus B) \cup (B \setminus A) = (A \cup B) \setminus (A \cap B)In AA or BB, but not both (exclusive OR)

Cardinality of Differences and Partitions

Because (A∖B)(A \setminus B) and (A∩B)(A \cap B) are mutually disjoint and their union is AA:

∣A∖B∣=∣A∣−∣A∩B∣|A \setminus B| = |A| - |A \cap B|

Similarly, the symmetric difference cardinality is:

∣AΔB∣=∣A∖B∣+∣B∖A∣=∣A∣+∣B∣−2∣A∩B∣=∣A∪B∣−∣A∩B∣|A \Delta B| = |A \setminus B| + |B \setminus A| = |A| + |B| - 2|A \cap B| = |A \cup B| - |A \cap B|

3. Cartesian Product and Cardinality

The Cartesian product of two sets AA and BB, denoted A×BA \times B, is the set of all ordered pairs (a,b)(a, b) such that a∈Aa \in A and b∈Bb \in B:

A×B={(a,b)∣a∈A, b∈B}A \times B = \{(a, b) \mid a \in A, \, b \in B\}

Essential Properties

  1. Cardinality Rule: ∣A×B∣=∣A∣⋅∣B∣|A \times B| = |A| \cdot |B|.
  2. Non-Commutativity: In general, A×B≠B×AA \times B \neq B \times A unless A=BA = B or at least one set is empty (A=∅A = \emptyset or B=∅B = \emptyset).
  3. Distributivity over Union and Intersection:
    • A×(B∪C)=(A×B)∪(A×C)A \times (B \cup C) = (A \times B) \cup (A \times C)
    • A×(B∩C)=(A×B)∩(A×C)A \times (B \cap C) = (A \times B) \cap (A \times C)

4. Set Identities and De Morgan's Laws

Set operations satisfy Boolean algebraic laws that mirror propositional logic:

Commutative, Associative, and Distributive Laws

  • Distributive Law of ∩\cap over ∪\cup: A∩(B∪C)=(A∩B)∪(A∩C)A \cap (B \cup C) = (A \cap B) \cup (A \cap C)
  • Distributive Law of ∪\cup over ∩\cap: A∪(B∩C)=(A∪B)∩(A∪C)A \cup (B \cap C) = (A \cup B) \cap (A \cup C)

De Morgan's Laws

De Morgan's Laws describe how complementation interchanges unions and intersections:

  1. Complement of a Union: The complement of a union is the intersection of the complements: (A∪B)c=Ac∩Bc(A \cup B)^c = A^c \cap B^c Verbal interpretation: Failing to be in either AA or BB means you are outside AA and outside BB.
  2. Complement of an Intersection: The complement of an intersection is the union of the complements: (A∩B)c=Ac∪Bc(A \cap B)^c = A^c \cup B^c Verbal interpretation: Failing to be in both AA and BB means you are either outside AA or outside BB.

5. The Principle of Inclusion-Exclusion (PIE)

When summing the cardinalities of overlapping sets, simple addition overcounts intersecting regions. The Principle of Inclusion-Exclusion provides exact formulas to adjust for this overlap.

Two-Set Inclusion-Exclusion

For any two finite sets AA and BB:

∣A∪B∣=∣A∣+∣B∣−∣A∩B∣|A \cup B| = |A| + |B| - |A \cap B|

Rearranging this identity allows computing the intersection directly:

∣A∩B∣=∣A∣+∣B∣−∣A∪B∣|A \cap B| = |A| + |B| - |A \cup B|

Three-Set Inclusion-Exclusion

For any three finite sets A,B,A, B, and CC:

∣A∪B∪C∣=∣A∣+∣B∣+∣C∣−(∣A∩B∣+∣A∩C∣+∣B∩C∣)+∣A∩B∩C∣|A \cup B \cup C| = |A| + |B| + |C| - (|A \cap B| + |A \cap C| + |B \cap C|) + |A \cap B \cap C|

Derived Regional Formulas for 3 Sets

In Bocconi word problems, questions frequently ask for specific sub-categories:

  • Exactly One Set: ∣Exactly 1∣=(∣A∣+∣B∣+∣C∣)−2(∣A∩B∣+∣A∩C∣+∣B∩C∣)+3∣A∩B∩C∣|\text{Exactly 1}| = (|A| + |B| + |C|) - 2(|A \cap B| + |A \cap C| + |B \cap C|) + 3|A \cap B \cap C|
  • Exactly Two Sets: ∣Exactly 2∣=(∣A∩B∣+∣A∩C∣+∣B∩C∣)−3∣A∩B∩C∣|\text{Exactly 2}| = (|A \cap B| + |A \cap C| + |B \cap C|) - 3|A \cap B \cap C|
  • At Least Two Sets: ∣At Least 2∣=(∣A∩B∣+∣A∩C∣+∣B∩C∣)−2∣A∩B∩C∣|\text{At Least 2}| = (|A \cap B| + |A \cap C| + |B \cap C|) - 2|A \cap B \cap C|

6. Venn Diagram Problem-Solving Protocol

To solve overlapping group problems without algebraic confusion under exam conditions, execute this 5-step protocol:

  1. Define the Total: Identify ∣U∣|U| and write down all given marginal totals (∣A∣,∣B∣,∣C∣|A|, |B|, |C|).
  2. Isolate the Core (Innermost Region): Identify or assign a variable xx to the central intersection: ∣A∩B∩C∣=x|A \cap B \cap C| = x.
  3. Populate Pairwise-Only Regions: For each pair, subtract the core: ∣A∩B only∣=∣A∩B∣−x|A \cap B \text{ only}| = |A \cap B| - x.
  4. Populate Single-Set-Only Regions: For each set, subtract all three adjacent overlapping regions from the marginal total: ∣A only∣=∣A∣−[∣A∩B only∣+∣A∩C only∣+x]|A \text{ only}| = |A| - [|A \cap B \text{ only}| + |A \cap C \text{ only}| + x]
  5. Account for Neither: Calculate elements belonging to none of the sets: ∣Neither∣=∣U∣−∣A∪B∪C∣|\text{Neither}| = |U| - |A \cup B \cup C|

7. Common Bocconi Traps & Exam Strategies

  1. Confusing 'Set A' with 'Only A': In word problems, '40 students study Finance' means ∣F∣=40|F| = 40. It does not mean ∣F∖(A∪M)∣=40|F \setminus (A \cup M)| = 40. The marginal total includes students who also study other subjects.
  2. The Triple-Count Omission in PIE: Adding pairwise intersections and then subtracting them removes the center three times. Candidates must remember to add back ∣A∩B∩C∣|A \cap B \cap C| at the final stage.
  3. Subsets vs. Elements: Distinguish between set membership and inclusion:
    • If S={1,{2,3}}S = \{1, \{2, 3\}\}, then 1∈S1 \in S and {1}⊆S\{1\} \subseteq S.
    • {2,3}∈S\{2, 3\} \in S is true, but {2,3}⊆S\{2, 3\} \subseteq S is false (since 2∉S2 \notin S). The correct subset notation is {{2,3}}⊆S\{\{2, 3\}\} \subseteq S.
  4. Percentage Universe Benchmark: When a problem states survey results in percentages without specifying a population size, immediately fix ∣U∣=100|U| = 100. This turns all percentage values directly into integer counts.

8. Worked Step-by-Step Examples

Example 1: Two-Set Market Survey

In a consumer study of 200 investors, 130 hold equities, 90 hold fixed-income bonds, and 40 hold neither asset class. How many investors hold both equities and bonds?

  1. Determine the Union: The total universe is ∣U∣=200|U| = 200. Since 40 investors hold neither: ∣E∪B∣=∣U∣−∣Neither∣=200−40=160|E \cup B| = |U| - |\text{Neither}| = 200 - 40 = 160
  2. Apply Two-Set Inclusion-Exclusion: ∣E∪B∣=∣E∣+∣B∣−∣E∩B∣  ⟹  160=130+90−∣E∩B∣|E \cup B| = |E| + |B| - |E \cap B| \implies 160 = 130 + 90 - |E \cap B|
  3. Solve for Intersection: 160=220−∣E∩B∣  ⟹  ∣E∩B∣=220−160=60160 = 220 - |E \cap B| \implies |E \cap B| = 220 - 160 = 60 Exactly 60 investors hold both asset classes.

Example 2: Three-Set University Enrollment

At Bocconi, 100 students were surveyed regarding language proficiencies: 55 speak English, 45 speak French, and 40 speak German. Furthermore, 20 speak English and French, 15 speak English and German, and 12 speak French and German. If 5 students speak all three languages, how many students speak none of these three languages?

  1. Identify Given Cardinalities: ∣E∣=55,∣F∣=45,∣G∣=40|E| = 55, |F| = 45, |G| = 40 ∣E∩F∣=20,∣E∩G∣=15,∣F∩G∣=12|E \cap F| = 20, |E \cap G| = 15, |F \cap G| = 12 ∣E∩F∩G∣=5|E \cap F \cap G| = 5
  2. Compute Total Speaking at Least One Language via PIE: ∣E∪F∪G∣=(55+45+40)−(20+15+12)+5=140−47+5=98|E \cup F \cup G| = (55 + 45 + 40) - (20 + 15 + 12) + 5 = 140 - 47 + 5 = 98
  3. Compute Complementary Count: ∣None∣=∣U∣−∣E∪F∪G∣=100−98=2|\text{None}| = |U| - |E \cup F \cup G| = 100 - 98 = 2 Exactly 2 students speak none of the three languages.

Example 3: Set Identity Reduction

Simplify the set expression X=(A∩B)∪(A∩Bc)X = (A \cap B) \cup (A \cap B^c) using set algebra axioms.

  1. Factor out AA using the distributive law of ∩\cap over ∪\cup: (A∩B)∪(A∩Bc)=A∩(B∪Bc)(A \cap B) \cup (A \cap B^c) = A \cap (B \cup B^c)
  2. Apply the complement law B∪Bc=UB \cup B^c = U: A∩(B∪Bc)=A∩UA \cap (B \cup B^c) = A \cap U
  3. Apply the identity law A∩U=AA \cap U = A: X=AX = A
Loading diagram...
Three-Set Venn Diagram Regional Decomposition
Test Your Knowledge

In a cohort of 120 Bocconi applicants, 65 study Economics, 50 study Mathematics, and 45 study Statistics. Furthermore, 25 study both Economics and Mathematics, 20 study both Economics and Statistics, and 15 study both Mathematics and Statistics. Exactly 8 applicants study all three subjects. How many applicants study none of these three subjects?

A

12

B

18

C

24

D

32

Test Your Knowledge

Let U be a non-empty universal set, and let A and B be arbitrary subsets of U. Which of the following set expressions is identically equivalent to (A \ B) ∪ (B \ A) ∪ (A ∩ B)?

A

A ∩ B

B

A ∪ B

C

(A ∩ B)ᶜ

D

A Δ B

Test Your Knowledge

Let A = {x ∈ ℤ : x² ≤ 9} and B = {y ∈ ℕ : y < 5}, where ℕ = {1, 2, 3, ...}. If 𝒫(X) denotes the power set of set X, how many elements are contained in the power set 𝒫(A × B)?

A

2¹¹

B

2²⁴

C

2²⁸

D

2³⁵

Sections you finish are checked off in the contents.