这个核心在说什么
集合的三种运算，本质不是画圆圈，是逻辑联结词穿了一件集合的外套。
A ∩ B = {x | x ∈ A 且 x ∈ B}。交 = 且。
A ∪ B = {x | x ∈ A 或 x ∈ B}。并 = 或。
∁_U A = {x | x ∈ U 且 x ∉ A}。补 = 非。
学生如果只学会画 Venn 图涂阴影，到不等式组的解集、到文字条件的翻译、到下一章的命题逻辑——每一关都得重新学一套。反之，如果在这章把「集合运算 = 逻辑联结词」扎下去，后面全是迁移。
怎么讲透
不从 Venn 图开始，从「描述法展开」开始。
给学生一个描述法写的集合：A = {x | x > 0}，B = {x | x ≤ 1}。问：「既在 A 里又在 B 里的元素，满足什么条件？」——「x > 0 而且 x ≤ 1。」让「而且」从学生的嘴里自然出来。然后再给符号：这个「而且」组成的集合，我们叫它 A ∩ B。
并集同理：A = {−1,1,2,3}，B = {−2,−1,1}。「在 A 里或者在 B 里的元素有哪些？」让学生自己列。列出来之后，他们自然会去掉重复——因为前面已经知道「集合由元素决定，重复不增加新元素」。然后给符号：这个「或」组成的集合，叫它 A ∪ B。
从这个核心长出来的东西
交并补的基本性质。不需要背。用逻辑的含义推：
A ∩ B = B ∩ A → 「x∈A 且 x∈B」和「x∈B 且 x∈A」是同一回事（且可交换）。
A ∩ B ⊆ A → 「x∈A 且 x∈B」蕴含「x∈A」。（且比单独一项更强）
A ⊆ A ∪ B → 「x∈A」蕴含「x∈A 或 x∈B」。（或比单独一项更弱）
子集与交并的等价关系。A ⊆ B ⇔ A ∩ B = A ⇔ A ∪ B = B。这三个式子看起来要背，其实都是一个意思：A 的元素全在 B 里，所以交到 B 不会损失（A∩B=A），并到 B 不增加新东西（A∪B=B）。
De Morgan 律。∁(A∪B) = (∁A)∩(∁B)。背不如推：「不在 A∪B 里」=「既不在 A 里又不在 B 里」——「或」的否定是「且」。这不是集合的规则，是逻辑的规则。课本习题 1.3 第 10 题就是让学生自己发现这个。发现了 → 到第 2 章命题否定直接迁移。
容斥原理。|A∪B| = |A|+|B|−|A∩B|。不是公式，是 Venn 图数数的结果。交集的元素在 |A| 和 |B| 里各数了一次，所以减回去。
区间。课本在 1.3 引入区间。区间就是用描述法写集合的简记：{x | a ≤ x ≤ b} → [a,b]。区间的交并运算就是不等式组的解——本质上还是逻辑联结词的实战。
拓展：这个核心在后面哪里会出现
不等式组的解集。「x>1 且 x<3」→ (1,3)。「x<0 或 x>5」→ (−∞,0)∪(5,+∞)。且=交，或=并。不等式那一章如果学生已经把「且=交、或=并」内化，解不等式组就是条件反射。
第 2 章 常用逻辑用语。命题的合取（p∧q）、析取（p∨q）、否定（¬p），和集合的交、并、补是一一对应的。学完集合再学逻辑，表面上换了符号，骨子里是同一套规则在另一种语言里的重述。
函数的定义域。f(x)=√(x−1) + √(3−x) 的定义域是 {x|x≥1}∩{x|x≤3}=[1,3]。多个限制条件 → 取交集。这是交运算在函数里的直接应用。
概率中的事件运算。事件 A 和 B 同时发生 = A∩B；至少一个发生 = A∪B；A 不发生 = ∁A。概率那一章直接复用集合运算的全部规则。
容易卡住的地方
- 并集写成「重复保留」。如 {1,2}∪{2,3} 写成 {1,2,2,3}。这不是并集定义的问题，是「集合由元素确定」还没内化。回到第一个核心知识。
- 补集用完括号后的顺序。∁(A∩B) vs (∁A)∩(∁B)——这两个不同！前者是交完了再补，后者是各自补完了再交。课本习题让学生通过计算和 Venn 图来区分。这种混淆的根源是把符号当成操作顺序指令在背，没理解背后的逻辑含义。
- 空集和交并。A∩∅=∅（没有共同元素），A∪∅=A（并上空集不加新元素）。如果空集被理解为「不存在的东西」而不是「有明确定义但无成员的集合」，这些恒等式就很奇怪。