Set Notation & Venn Diagrams

• Set, element, and membership: A set is a well-defined collection of objects, and each object is an element of that set. Membership is written as $x \in A$, while non-membership is written as $x \notin A$. This matters because many later statements are true or false only by checking element membership precisely.

• Roster and rule forms: A set can be written by listing elements, or by a rule such as $\{x : \text{condition on } x\}$. The colon or vertical bar means "such that," so the notation encodes both variable type and constraint in one compact form. Rule form is especially useful when the set is large, infinite, or pattern-based.

• Universal and empty sets: The universal set $\mathcal{E}$ (or $U$) defines the full domain under discussion, so every complement depends on it. The empty set $\varnothing$ contains no elements and is valid as a set outcome. These two anchor points prevent ambiguity when interpreting operations like complement and intersection.

• Sets encode logic through operations: Union, intersection, and complement correspond to logical OR, AND, and NOT. This works because each element is either included or excluded from each set, creating binary membership states. Venn diagrams visualize those states as regions, making logical equivalence easier to test.

• Inclusion-exclusion principle: When combining counts, elements in overlap are double-counted if you add set sizes directly. The correction is $n(A \cup B) = n(A) + n(B) - n(A \cap B),$ where $n(\cdot)$ is cardinality. This principle applies whenever shared elements appear in more than one counted group.

• Complement depends on the domain: A complement like $A'$ means "everything not in $A$" relative to a stated universal set, not absolute reality. If the universal set changes, $A'$ can change even when $A$ does not. That is why defining $\mathcal{E}$ first is a logical necessity, not a formality.

Translating language to notation\n- Workflow for symbolic setup: Start by naming the universal set, then define each set using either roster or rule notation, and finally map each phrase to an operator. Phrases like "both" suggest $\cap$, "at least one" suggests $\cup$, and "not" suggests complement. This sequence reduces errors because each decision has a clear linguistic trigger.

Working with Venn regions\n- Region-filling method: For counting problems, fill the intersection first, then exclusive regions, then the outside region inside the universal rectangle. This order works because overlap values constrain the rest and prevent accidental double placement. Use it whenever element placement or cardinality is given partially.

Core formulas to memorize: $n(A') = n(\mathcal{E}) - n(A), \quad n(A \cup B) = n(A)+n(B)-n(A\cap B)$\n\n- Verification loop: After computing region values, add all disjoint regions and check they total $n(\mathcal{E})$. This is a structural check that catches arithmetic and logic slips before finalizing an answer. Apply it especially under exam time pressure.

• Membership vs subset: $x \in A$ compares an element with a set, while $A \subseteq B$ compares one set with another. Confusing these leads to category errors, such as treating a number like a set. Always check whether the symbol on each side is an element or a collection.

• Proper subset vs subset: $A \subseteq B$ allows equality, but $A \subset B$ means $A$ is strictly smaller than $B$ in many syllabi. The distinction matters in proof-style questions where equality is the deciding case. If notation conventions vary, state your convention clearly before proceeding.

• Operation comparison table: The same word can map to different symbols depending on context, so a compact reference improves accuracy. Use this matrix to distinguish region meaning from counting behavior.

• Treating union as exclusive OR: Some learners think $A \cup B$ excludes overlap, but union includes intersection by definition. This misconception causes missing elements or undercounting. Remember that exclusive membership is written with difference or symmetric difference, not plain union.

• Assuming complement means "outside every set": $A'$ means outside $A$, not necessarily outside $B$ or other sets. In a two-set Venn diagram, part of $A'$ can lie inside $B$. Always interpret complement relative to one named set and the fixed universal set.

• Using notation inconsistently: Switching between $\subset$, $\subseteq$, and informal wording without care can change truth values. Precision matters because set notation is a logic language, not decorative symbols. Keep one consistent notation system through the full solution.