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.
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 $x$ belongs to set $A$, we write $x \in A$; if it does not, we write $x \notin A$.
Core Definitions and Classifications
- Universal Set ($U$): 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 $|\emptyset| = 0$. The empty set is a subset of every set: $\forall A, , \emptyset \subseteq A$.
- Subset ($A \subseteq B$): Every element of $A$ is also an element of $B$:
- Proper Subset ($A \subset B$): $A \subseteq B$ and $A \neq B$ (meaning there exists at least one element $y \in B$ such that $y \notin A$).
- Cardinality ($|A|$ or $n(A)$): The total number of elements in a finite set $A$.
- Power Set ($\mathcal{P}(A)$): The set of all subsets of $A$. If $|A| = n$, the power set contains exactly $2^n$ elements: Proof sketch: For each of the $n$ elements, there are 2 independent binary choices: include it in the subset or exclude it. By the multiplication principle, there are $2 \times 2 \times \dots \times 2 = 2^n$ unique subsets.
2. Fundamental Set Operations
Given subsets $A, B \subseteq U$, standard binary and unary operations generate new sets:
| Operation | Notation | Formal Set-Builder Definition | Verbal Meaning |
|---|---|---|---|
| Union | $A \cup B$ | ${x \in U \mid x \in A \lor x \in B}$ | In $A$, in $B$, or in both (inclusive OR) |
| Intersection | $A \cap B$ | ${x \in U \mid x \in A \land x \in B}$ | In both $A$ and $B$ simultaneously (AND) |
| Difference | $A \setminus B$ (or $A - B$) | ${x \in U \mid x \in A \land x \notin B} = A \cap B^c$ | Strictly in $A$, excluding any part of $B$ |
| Complement | $A^c$ (or $A', \overline{A}$) | ${x \in U \mid x \notin A} = U \setminus A$ | Everything in the universe outside $A$ |
| Symmetric Diff. | $A \Delta B$ | $(A \setminus B) \cup (B \setminus A) = (A \cup B) \setminus (A \cap B)$ | In $A$ or $B$, but not both (exclusive OR) |
Cardinality of Differences and Partitions
Because $(A \setminus B)$ and $(A \cap B)$ are mutually disjoint and their union is $A$: Similarly, the symmetric difference cardinality is:
3. Cartesian Product and Cardinality
The Cartesian product of two sets $A$ and $B$, denoted $A \times B$, is the set of all ordered pairs $(a, b)$ such that $a \in A$ and $b \in B$:
Essential Properties
- Cardinality Rule: $|A \times B| = |A| \cdot |B|$.
- Non-Commutativity: In general, $A \times B \neq B \times A$ unless $A = B$ or at least one set is empty ($A = \emptyset$ or $B = \emptyset$).
- Distributivity over Union and Intersection:
- $A \times (B \cup C) = (A \times B) \cup (A \times 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 \cap (B \cup C) = (A \cap B) \cup (A \cap C)$
- Distributive Law of $\cup$ over $\cap$: $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:
- Complement of a Union: The complement of a union is the intersection of the complements: Verbal interpretation: Failing to be in either $A$ or $B$ means you are outside $A$ and outside $B$.
- Complement of an Intersection: The complement of an intersection is the union of the complements: Verbal interpretation: Failing to be in both $A$ and $B$ means you are either outside $A$ or outside $B$.
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 $A$ and $B$: Rearranging this identity allows computing the intersection directly:
Three-Set Inclusion-Exclusion
For any three finite sets $A, B,$ and $C$:
Derived Regional Formulas for 3 Sets
In Bocconi word problems, questions frequently ask for specific sub-categories:
- Exactly One Set:
- Exactly Two Sets:
- At Least Two Sets:
6. Venn Diagram Problem-Solving Protocol
To solve overlapping group problems without algebraic confusion under exam conditions, execute this 5-step protocol:
- Define the Total: Identify $|U|$ and write down all given marginal totals ($|A|, |B|, |C|$).
- Isolate the Core (Innermost Region): Identify or assign a variable $x$ to the central intersection: $|A \cap B \cap C| = x$.
- Populate Pairwise-Only Regions: For each pair, subtract the core: $|A \cap B \text{ only}| = |A \cap B| - x$.
- Populate Single-Set-Only Regions: For each set, subtract all three adjacent overlapping regions from the marginal total:
- Account for Neither: Calculate elements belonging to none of the sets:
7. Common Bocconi Traps & Exam Strategies
- Confusing 'Set A' with 'Only A': In word problems, '40 students study Finance' means $|F| = 40$. It does not mean $|F \setminus (A \cup M)| = 40$. The marginal total includes students who also study other subjects.
- 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 \cap B \cap C|$ at the final stage.
- Subsets vs. Elements: Distinguish between set membership and inclusion:
- If $S = {1, {2, 3}}$, then $1 \in S$ and ${1} \subseteq S$.
- ${2, 3} \in S$ is true, but ${2, 3} \subseteq S$ is false (since $2 \notin S$). The correct subset notation is ${{2, 3}} \subseteq S$.
- Percentage Universe Benchmark: When a problem states survey results in percentages without specifying a population size, immediately fix $|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?
- Determine the Union: The total universe is $|U| = 200$. Since 40 investors hold neither:
- Apply Two-Set Inclusion-Exclusion:
- Solve for Intersection: 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?
- Identify Given Cardinalities: $|E| = 55, |F| = 45, |G| = 40$ $|E \cap F| = 20, |E \cap G| = 15, |F \cap G| = 12$ $|E \cap F \cap G| = 5$
- Compute Total Speaking at Least One Language via PIE:
- Compute Complementary Count: Exactly 2 students speak none of the three languages.
Example 3: Set Identity Reduction
Simplify the set expression $X = (A \cap B) \cup (A \cap B^c)$ using set algebra axioms.
- Factor out $A$ using the distributive law of $\cap$ over $\cup$:
- Apply the complement law $B \cup B^c = U$:
- Apply the identity law $A \cap U = A$:
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?
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)?
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)?