集合间的基本关系
看懂子集、真子集与集合相等，辨清包含关系的方向
按 空格/→ 演示下一步
全部页面点击任意一页，跳回舞台从这页播放
集合间的基本关系
看懂子集、真子集与集合相等，辨清包含关系的方向
什么是子集
上节课我们把元素装进集合，就像把物品装进袋子。现在问个自然的问题：如果袋子A里的每一件物品，袋子B里都能找到，那A和B是什么关系？这就引出了'子集'。
三好学生名单里每个人都能在全班名单里找到，但全班同学不一定都是三好学生
子集的韦恩图表示
外圈是 B，内圈是 A。A 整圈落在 B 内，每个 A 的元素都能在 B 里找到——这就是子集关系的图形语言。
真子集的定义
上一页说子集 A⊆B 意味着'A 的元素全在 B 里'——这只要求 A 不超出 B。但当我们想强调'A 真的比 B 小、B 里还有 A 没有的元素'时，光说子集不够。
书全部塞进抽屉对应子集；抽屉里还有不是书的杂物，对应真子集多出的那条
子集 vs 真子集
子集和真子集只差一笔，但这一笔决定了"能不能等于"——边界模糊处最容易丢分。
- 允许A等于B
- 只要求A的每个元素都在B中
- 记号⊆下带等号线
- A⊆A恒成立
- 必须A不等于B
- 要求元素全在B中且B有多余
- 记号⊊下不带等号线
- A⊊A恒不成立
集合相等的定义
前页我们说「A⊆B」是 A 单向进入 B。要让两个集合完全相同，光一个方向够吗？显然不够——我们得「双向确认」。
A 班点到 B 班所有人都到，反过来 B 班点到 A 班也全到——两班只能是同一班
集合相等的判定流程
起点出发，依次完成两个方向的包含验证；任一方向失败即终止。两步全过才到达结论。
证明集合相等的实例
用定义证明{1,2}={2,1},按"双向包含"四步拆解。
空集的定义与记号
前面讲子集时要求「A的每个元素都要在B里」。那如果A一个元素都没有呢？它还能当B的子集吗？这一页请出集合论里最「空」但最容易出错的概念——空集。
钱数是0元，但它仍是一个钱包——集合存在，只是里面没元素
空集的重要性质
上一节我们认识了空集——不含任何元素的集合。但别小看它，空集在子集关系中地位很特殊。
任何人加进来都不违反'已列出'规则
空集与其他集合的关系图
沿箭头方向看，每一层都是上一层的真子集；每层又是上一层的幂集 P(A)，元素数翻倍增长。
判断包含关系的步骤
判断 A⊆B 是否成立，按四步走：定义方向、列举元素、逐个验证、得出结论。
典型例题精讲
用 Python 把「偶数集 A」与「列举集 B」的包含关系跑出来
高亮依次：定义偶数集 A、定义 B、issubset 验 B⊆A、`<` 一步判 B⊊A、得 A⊋B。Python 的 `<` 同时校验 ⊆ 与 ≠，恰好是真子集的双重定义。
易混淆情形辨析
∈ 和 ⊆ 形状相近，用法却完全不同——这是初学者最常踩的坑。
- 描述对象：单个元素 vs 集合
- 读作「属于」
- 例：2 ∈ {1, 2, 3}
- 左侧必须是元素，不能是集合
- 描述对象：集合 vs 集合
- 读作「包含于 / 真包含于」
- 例：{1, 2} ⊆ {1, 2, 3}
- 左侧必须是一个集合
自测题
设 A 是任意非空集合，下列说法正确的是？
课后思考
请先独立作答，再与参考答案对照——重点不是答对，而是看到自己思维的盲区。
参考答案真子集要求A⊆B且A≠B。集合相等时A⊆B与B⊆A同时成立，正是双向包含的特殊情形。
参考答案成立，这体现了子集关系的传递性。A的每个元素经B都落在C里，所以A⊆C。
参考答案不能直接推出，但可由'空集不含任何元素'配合子集定义证明：前提永假时蕴含式必真。
知识框架图
- ✓子集与真子集的关键差异在于'等号能否成立'
- ✓集合相等 ⇔ 双向包含 ⇔ 元素完全相同
- ✓空集是所有集合的子集，也是非空集的真子集
- ✓判断包含关系须逐元素核查，不可想当然
- ✓⊆与⊂的方向与对象要分清，避免符号混用