预备知识 / 集合 / 集合的基本关系
高考基础语言 18 分钟
集合的包含、相等与子集
判断一个集合的每个元素是否都属于另一个集合
如果集合 A 的每个元素都是集合 B 的元素，则 A 是 B 的子集，记作 A⊆B。两个集合包含的元素完全相同时，这两个集合相等。
前置知识集合与元素、集合的表示
相关知识空集、并集与交集
学习目标
学完要达到什么程度
理解子集关系
能依据“逐元素属于”说明 A⊆B 的含义。
判断包含关系
能对有限集合逐元素检查，判断一个集合是否为另一个集合的子集。
用相互包含判定相等
能通过 A⊆B 且 B⊆A 说明 A=B。
区分属于与包含
能根据符号两侧对象的类型，正确选用 ∈ 或 ⊆。
互动观察
动态理解
观察范围 U
1
2
3
4
观察提示点击不同视角，观察集合中的元素和符号如何同步变化。
核心公式
关系与判定
子集A ⊆ B ⇔ ∀x(x∈A ⇒ x∈B)
A 中每一个元素都属于 B。
A⊆B 允许 A=B。集合相等A = B ⇔ A ⊆ B 且 B ⊆ A
证明两个集合元素完全相同时，可证明相互包含。
只证明一个方向不能得到集合相等。真子集A ⊊ B
表示 A⊆B 且 A≠B。
不同教材或资料可能使用不同的真子集符号，入库展示应统一符号规范。
理解与应用
学习策略
- 01
先看符号两侧是什么
元素与集合之间用 ∈；集合与集合之间讨论 ⊆、⊊ 或 =。
- 02
有限集合逐元素检查
从 A 的第一个元素开始，确认每一个都能在 B 中找到。
- 03
要判相等就做双向检查
先证 A⊆B，再证 B⊆A；两个方向都成立才有 A=B。
- 04
找反例否定包含
若能找到 x∈A 但 x∉B，就能立即否定 A⊆B。
高频混淆
高频易错点
认为 A⊆A 不成立
任何集合都是自身的子集，因为 A 的每个元素当然都属于 A。
把子集理解成必须更小
符号 ⊆ 允许两个集合相等；若要表达“包含但不相等”，应使用真子集关系。
只证 A⊆B 就断言 A=B
单向包含只能说明 A 的元素不超出 B，B 还可能有额外元素。
静态自测
自测例题
先独立作答，再展开解析
本题不提交、不计分，也不会自动修改学习状态。
设 A={1,2}，B={1,2,3}。判断 A 与 B 的关系，并说明理由。
提示：先逐一检查 A 的元素，再比较两个集合是否完全相同。
查看答案与解析
答案：A⊆B，且 A⊊B。因为 1、2 都属于 B，所以 A⊆B；又因为 3∈B 但 3∉A，所以 A≠B，故 A 是 B 的真子集。
公开教师资源