从定义到应用，深度解析交集、并集、补集的逻辑关系与计算技巧，助你构建严密的数学思维体系。
在深入探讨集合的基本计算之前，我们必须明确集合论中的基本语言。集合是数学中最基本的概念之一，它是确定的、互异的、无序的某些特定对象的总体。在现代数学中，几乎所有数学分支都建立在集合论的基础之上。
理解这些基础符号是进行后续集合的基本计算的前提。例如，当我们讨论两个集合A和B的关系时，首先要判断它们是否有公共元素，这将直接决定交集运算的结果。
集合的运算主要分为交集、并集和补集。这三种运算构成了集合的基本计算的核心框架。为了更清晰地展示它们的区别与联系，我们通过以下选项卡进行深入解析。
定义：由属于集合A且属于集合B的所有元素组成的集合，称为A与B的交集，记作 A∩B（读作“A交B”）。
图示理解：在韦恩图（Venn Diagram）中，交集对应于两个圆圈重叠的部分。
设 A = {1, 2, 3, 4}，B = {3, 4, 5, 6}。
则 A∩B = {3, 4}。
定义：由属于集合A或属于集合B的所有元素组成的集合，称为A与B的并集，记作 A∪B（读作“A并B”）。
注意：这里的“或”包含三种情况：只在A中、只在B中、既在A中又在B中。在计算元素个数时，要注意避免重复计数。
设 A = {1, 2, 3, 4}，B = {3, 4, 5, 6}。
则 A∪B = {1, 2, 3, 4, 5, 6}。
这个公式在解决具体数值问题时非常关键，它体现了集合的基本计算中的逻辑严谨性。
定义：对于一个集合A，由全集U中不属于集合A的所有元素组成的集合，称为集合A相对于全集U的补集，记作 ∁UA 或 A'。
关键点：补集是相对于全集而言的，脱离了全集谈补集是没有意义的。全集U通常由问题的具体背景决定。
这是集合的基本计算中最高阶且最重要的规律之一：
记忆技巧：“否定进去，符号改变”。
掌握定义只是第一步，理解运算背后的逻辑性质才能在复杂问题中游刃有余。以下表格总结了集合的基本计算中常用的运算律。
| 运算律 | 交集 (∩) | 并集 (∪) | 备注 |
|---|---|---|---|
| 交换律 | A∩B = B∩A | A∪B = B∪A | 顺序不影响结果 |
| 结合律 | (A∩B)∩C = A∩(B∩C) | (A∪B)∪C = A∪(B∪C) | 分组不影响结果 |
| 分配律 | A∩(B∪C) = (A∩B)∪(A∩C) | A∪(B∩C) = (A∪B)∩(A∪C) | 交叉分配，易错点 |
| 吸收律 | A∩(A∪B) = A | A∪(A∩B) = A | 简化表达式利器 |
| 零律/同一律 | A∩∅ = ∅, A∩U = A | A∪∅ = A, A∪U = U | 涉及空集与全集 |
特别需要注意的是分配律，它类似于代数中的乘法分配律，但在集合论中，交集对并集的分配，以及并集对交集的分配都是成立的。这是集合运算区别于普通算术运算的一个重要特征。
通过时间轴回顾不同难度级别的典型例题，展示集合的基本计算在解题中的应用逻辑。
题目：已知 A={1,2,3}, B={2,3,4}，求 A∩B 和 A∪B。
解析：直接观察元素。
A∩B = {2,3} （公共元素）
A∪B = {1,2,3,4} （所有元素去重）
考点：基本定义的直接应用，注意互异性。
题目：已知全集 U=R，A={x | -1 < x < 3}，B={x | x ≥ 1}，求 A∩(∁UB)。
解析：
1. 先求补集：∁UB = {x | x < 1}。
2. 再求交集：A∩(∁UB) 即找 -1 < x < 3 且 x < 1 的部分。
3. 结论：{x | -1 < x < 1}。
技巧：务必在数轴上画出区间，注意端点值的开闭情况（空心与实心）。
题目：已知 A={x | x² - 3x + 2 = 0}, B={x | ax - 2 = 0}，且 B ⊆ A，求实数 a 的取值集合。
解析：
1. 解 A：x² - 3x + 2 = 0 ⇒ (x-1)(x-2)=0 ⇒ A={1, 2}。
2. 分析 B：B 是方程 ax=2 的解集。
3. 分类讨论 B ⊆ A：
① 若 a=0，则 0=2 无解，B=∅。∅ ⊆ A 成立，故 a=0 符合。
② 若 a≠0，则 x=2/a。因 B ⊆ A，故 2/a = 1 或 2/a = 2。
⇒ a=2 或 a=1。
4. 综上，a 的取值集合为 {0, 1, 2}。
警示：极易漏掉 B=∅ 的情况！这是集合的基本计算中最常见的陷阱。
在搜索“集合的基本计算”时，用户往往容易在以下几个细节上出错。以下是针对高频问题的深度解答。
解答：不是。{0} 是一个包含一个元素“0”的集合，而∅ 是不包含任何元素的集合。{0} ≠ ∅。
解答：不一定。只有当 A∩B=∅ 时才成立。一般情况下，|A∪B| = |A| + |B| - |A∩B|。忽略交集部分会导致重复计数。
解答：A ⊆ B 允许 A=B，而 A ⊂ B (或 A ⫋ B) 要求 A≠B。空集是任何集合的子集，但空集不是任何集合的真子集（因为它不能真包含于自身，虽然通常说空集是任何非空集合的真子集）。
解答：韦恩图适合直观展示2-3个集合的关系。但当集合涉及无限区间、高维空间或复杂逻辑条件时，数轴法和代数推导法更为严谨和必要。