离散数学 第三章集合
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
A∩B={x | x∈A∧x∈B} A∪B={x | x∈A∨x∈B}
陕西师范大学计算机科学学院
例如，若A={1, 2, 3}，B={1, 4}，则A ∩B={1}，A∪B={1, 2, 3, 4}。
陕西师范大学计算机科学学院
集合的交与并可以推广到n个集合的情 况，即 A1∩A2∩…∩An
={x | x∈A1∧x∈A2∧…∧x∈An} A1∪A2∪…∪An
陕西师范大学计算机科学学院
（3）AB∧BC (x(x∈A→x∈B)∧x(x∈B∧xA))
∧(x(x∈B→x∈C)∧x(x∈C∧xB)) x((x∈A→x∈B)∧(x∈B→x∈C))
∧(x(x∈B∧xA)∧x(x∈C∧xB)) x(x∈A→x∈C)∧(x(x∈C∧xA) AC。
□
陕西师范大学计算机科学学院
陕西师范大学计算机科学学院
一个集合是作为整体识别的、确定的、 互相区别的一些事物的全体。严格地讲，这只 是一种描述，不能算是集合的定义。类似于几 何中的点、线、面等概念，在朴素集合论中， 集合也是一种不加定义而直接引入的最基本的 原始概念（一给出定义就要引入悖论（ Paradox ） ） 。 而 集 合 论 中 的 其 他 概 念 ， 则 都是从它出发给予了严格的定义。
□
陕西师范大学计算机科学学院
定义3.1.2 设A和B是两个集合，若AB且 B中至少有一个元素b使得bA，则称A是B 的真子集（Proper subset），也称A真包 含于B或B真包含A，记作AB。否则，记 作AB。B真包含A的符号化表示：
AB x(x∈A→x∈B)∧x(x∈B∧xA)
若两个集合A和B没有公共元素，我们 说A和B是不相交的（Disjoint）。
陕西师范大学计算机科学学院
若集合A中只有有限个元素时，称A为 有限集合（Finite set），集合中元素的个 数称为集合的基数（势，Cardinality）， 记为|A|；否则，称A为无限集合（Infinite set）。
陕西师范大学计算机科学学院
下面将本书中常用的集合列举如下： N：表示全体自然数组成的集合。 Z：表示全体整数组成的集合。 Q：表示全体有理数组成的集合。 R：表示全体实数组成的集合。 Zm：表示模m同余关系所有剩余类组 成的集合。
陕西师范大学计算机科学学院
集合表示法 1. 列举法
列举法就是将集合的元素全部写在花括 号内，元素之间用逗号分开。
例如，A={a, b, c}，N={0, 1, 2, …}。 列举法一般用于有限集合和有规律的无 限集合。
陕西师范大学计算机科学学院
2. 谓词表示法（属性描述法） 谓词表示法是用谓词来概括集合中元素
陕西师范大学计算机科学学院
定义3.1.5 所要讨论的集合都是某个集合的子 集，称这个集合为全集（Universal set）， 记作U或E。
全集是一个相对的概念。由于所研究的问 题不同，所取的全集也不同。例如，在研究整 数问题时，可把整数集Z取作全集。在研究平 面几何问题时，可把整个坐标平面取作全集。
陕西师范大学计算机科学学院
解： P(Φ)={Φ}。P({Φ})={Φ, {Φ}}。 P({Φ, {Φ}})={Φ, {Φ}, {{Φ}}, {Φ, {Φ}}}。 P({1, {2, 3}})={Φ, {1}, {{2, 3}}, {1, {2,
3}}}。 □
陕西师范大学计算机科学学院
定理3.1.5 若|A|=n，则|P(A)|=2n。
反之，若AB且BA，假设A≠B，则 A与B元素不完全相同。不妨设有某个元素 x∈A但xB，这与AB矛盾，所以A=B。
□
陕西师范大学计算机科学学院
定理3.1.2 设A、B和C是三个集合，则： （1）AA。（2）AB∧BC AC。
陕西师范大学计算机科学学院
证明： （1）由定义显然成立。 （2）AB∧BC x(x∈A→x∈B) ∧x(x∈B→x∈C) x((x∈A→x∈B) ∧(x∈B→x∈C)) x(x∈A→x∈C) AC。
陕西师范大学计算机科学学院
20世纪30年代中后期，图灵对计算的 本质进行了研究，从而实现了对计算本质的 真正认识。图灵提出了“图灵机”这一计算 模型用来解决“能行计算”问题，而数字电 子计算机正是这种模型的具体实现。
陕西师范大学计算机科学学院
3.1 集合的概念与表示法
这一节的主要内容：
集合的元素、基数、有限集与无限集、 集合的表示法、子集、平凡子集、不相交集 合、空集、幂集、全集。
陕西师范大学计算机科学学院
证明： 因为A的m个元素的子集的个数为C(n,
m)，所以|P(A)|=C(n, 0)+C(n, 1)+…+ C(n, n)=2n。
□百度文库
陕西师范大学计算机科学学院
定理3.1.6 设A和B是两个集合，则： （1）B∈P(A) BA。 （2）AB P(A)P(B)。 （3）P(A)=P(B) A=B。 （4）P(A)∈P(B) A∈B。 （5）P(A)∩P(B)=P(A∩B)。 （6）P(A)∪P(B)P(A∪B)。
陕西师范大学计算机科学学院
定义3.1.1 设A和B为两个集合，若对于任 意 a∈A 必 有 a∈B ， 则 称 A 是 B 的 子 集 （ Subset），也称A包含于B或B包含A，记 作AB。如果B不包含A，记作A B 。B包 含A的符号化表示为：
AB x(x∈A→x∈B)。
陕西师范大学计算机科学学院
例如，若A={1, 2, 3, 4}，B={1, 2}， C={2, 3}，则BA且CA，但C B。
陕西师范大学计算机科学学院
定理3.1.1 集合A和B相等当且仅当这两个 集合互为子集。即：A=B AB∧BA。
陕西师范大学计算机科学学院
证明： 若A=B，则A和B具有相同的元素，于
是 x(x∈A→x∈B) 、 x(x∈B→x∈A) 都 为真，即AB且BA。
陕西师范大学计算机科学学院
3.2 集合的运算与性质
这一节的主要内容：
集合的并、交、差、补、对称差、基本 集合恒等式（幂等律，交换律，结合律，分 配律，同一律，零律，互补律，吸收律，德. 摩根律，双否律）。
陕西师范大学计算机科学学院
集合的交、并、补 定义3.2.1 设A和B为两个集合，A和B的交 集 A∩B （ Intersection ） 、 并 集 A∪B （ Union）分别定义如下：
陕西师范大学计算机科学学院
例如，若A={a, b, c, d}，B={b, c}，则 B是A的真子集，但A不是A的真子集。 注 ∈与表示元素和集合的关系，而、与 ＝表示集合和集合的关系。
例如，若A={0, 1}，B={0, 1, {0, 1}}， 则AB且AB。
陕西师范大学计算机科学学院
定理3.1.3 设A、B和C是三个集合，则 （1）(AA)。 （2）AB (BA)。 （3）AB∧BC AC。
={x | x∈A1∨x∈A2∨…∨x∈An}
陕西师范大学计算机科学学院
例3.2.1 设A，B和C为任意集合，且AB， 则A∩CB∩C。
陕西师范大学计算机科学学院
证明： 对任意的x∈A∩C，则有x∈A且x∈C。
而AB，由x∈A得x∈B，则x∈B且x∈C， 从而x∈B∩C。所以，A∩CB∩C。
陕西师范大学计算机科学学院
在自然科学中，除了研究处于孤立的个体 之外，更重要的是将一些相关的个体放在一起 进行研究，这就直观地产生了引入集合这一概 念的要求。集合是最简单的数学对象。
陕西师范大学计算机科学学院
随着计算机时代的到来，集合的元素已由 传统的“数集”和“点集”拓展成包含文字、 符号、图形、图表和声音等多媒体信息，构成 了各种数据类型的集合。从而集合论在编译原 理、开关理论、信息检索、形式语言、数据库 和知识库、CAD、CAM、CAI及AI等各个领 域得到了广泛的应用。
定义3.1.3 没有任何元素的集合称为空集（ Empty Set），记作Φ。以集合为元素的集 合称为集族。
例如，{x | (x≠x)∧x∈R}是空集；{x｜ x是某大学的学生社团}是集族。 定理3.1.4 空集是任何集合的子集。
陕西师范大学计算机科学学院
对于任一集合A，我们称空集Φ和其自
身A为A的平凡子集（Trivial Subset）。
大家好
离散数学
第三章 集合
裘国永
2020年12月9日
本章内容及教学要点
3.1 集合的概念与表示法 教学内容：集合，子集，包含，空集，
幂集，全集
陕西师范大学计算机科学学院
3.2 集合的运算与性质 教学内容：并，交，补，对称差，文氏图
陕西师范大学计算机科学学院
3.3 集合的划分与覆盖 教学内容：划分，覆盖
陕西师范大学计算机科学学院
证明： 仅证（2）和（3）。 （2）AB x(x∈A→x∈B)∧x(x∈B∧xA) x(xA∨x∈B)∧x(x∈B∧xA) x(x∈A∧xB)∧x(xB∨x∈A) x(x∈A∧xB)∨x(x∈A∨xB) (x(x∈A∧xB)∧x(x∈A∨xB)) (x(x∈A∧xB)∧x(x∈B→x∈A)) (BA)。
例如，某大学计算机系的全体学生、所 有自然数等都是集合。
陕西师范大学计算机科学学院
集合元素的特征：确定性、互异性、无序性。 确定性：一旦给定了集合A，对于任意a，可 准确地判定a是否在A中。 互异性：集合中的元素之间是彼此不同的。即 集合{a, b, b, c}与集合{a, b, c}是一样的。 无序性：集合中的元素之间没有次序关系。即 集合{a, b, c}与集合{c, b, a}是一样的。
陕西师范大学计算机科学学院
但数学家们不久就在康托尔的理论（我 们称之为朴素(古典)集合论）中发现了逻辑 矛盾，即所谓的“悖论”（Paradox），导 致了数学发展史上的第三次危机（另两次分 别是无理数的引入和无穷小量的引入）。其 中最著名的就是1901年罗素发现的“罗素 悖论”S={x：xS}。“罗素悖论”的通俗 表示是所谓的“理发师悖论”。
陕西师范大学计算机科学学院
小镇里的理发师放出豪言：“我帮且只帮 镇里所有不自己刮脸的人刮脸”。
哪么他是否应当给自己刮脸？
如果他给自己刮脸，那么按照他的豪言他 不应该为自己刮脸；但如果他不给自己刮脸， 同样按照他的豪言他又应该为自己刮脸。
陕西师范大学计算机科学学院
正是寻求解决第三次数学危机的各种努 力，给数学基础问题的研究带来了全新的转 机。一部分数学家开始把精力集中于解决具 有“能行性”的问题上。
特别要注意Φ与{Φ}的区别，Φ是不含
任何元素的集合，是任意集合的子集，而
{Φ}是含有一个元素Φ的集合。
定义3.1.4 一个集合A的所有子集组成的集
合称为A的幂集（Power Set），记作P(A)
或2A。
陕西师范大学计算机科学学院
例 3.1.1 求 幂 集 P( Φ ) 、 P({ Φ }) 、 P({ Φ , {Φ}})、P({1, {2, 3}})。
陕西师范大学计算机科学学院
构成集合的每个事物称为这个集合的元 素或成员（Member，Element）。集合一 般用大写字母表示，元素用小写字母表示。 但这也不是绝对的，因为一个集合可以是另 外一个集合的元素。
陕西师范大学计算机科学学院
给定一个集合A和一个a，可以判定a是 否在集合A中。如果a在A中，我们称a属于 A，记为a∈A。否则，称a不属于A，记为 aA。
的属性。通常用{x | P(x)}来表示具有性质P 的一些对象组成的集合。
例如，{x | 1≤x≤6∧x为整数}为由1、 2、3、4、5、6组成的集合。
陕西师范大学计算机科学学院
集合的包含与相等 外延性原理：两个集合A和B是相等的，当且 仅当它们有相同的元素。记为A=B。
例如，若A={2, 3}，B={小于4的素数}， 则A=B。
陕西师范大学计算机科学学院
3.6 基本计数原理原理 教学内容：加法原理，乘法原理，
容斥原理，抽屉原理
陕西师范大学计算机科学学院
集合论是现代数学的基础，是数学中不 可或缺的基本描述工具。可以这样讲，现代 数学与离散数学的“大厦”建立在集合论的 基础之上。
陕西师范大学计算机科学学院
集合论的研究起源于对数学的基础研究： 对数学的对象、性质及其发生、发展的一般规 律进行的科学研究。德国数学家康托尔从187 4年始，发表了一系列集合论方面的著作，从 而创立了集合论。
陕西师范大学计算机科学学院
例如，若A={1, 2, 3}，B={1, 4}，则A ∩B={1}，A∪B={1, 2, 3, 4}。
陕西师范大学计算机科学学院
集合的交与并可以推广到n个集合的情 况，即 A1∩A2∩…∩An
={x | x∈A1∧x∈A2∧…∧x∈An} A1∪A2∪…∪An
陕西师范大学计算机科学学院
（3）AB∧BC (x(x∈A→x∈B)∧x(x∈B∧xA))
∧(x(x∈B→x∈C)∧x(x∈C∧xB)) x((x∈A→x∈B)∧(x∈B→x∈C))
∧(x(x∈B∧xA)∧x(x∈C∧xB)) x(x∈A→x∈C)∧(x(x∈C∧xA) AC。
□
陕西师范大学计算机科学学院
陕西师范大学计算机科学学院
一个集合是作为整体识别的、确定的、 互相区别的一些事物的全体。严格地讲，这只 是一种描述，不能算是集合的定义。类似于几 何中的点、线、面等概念，在朴素集合论中， 集合也是一种不加定义而直接引入的最基本的 原始概念（一给出定义就要引入悖论（ Paradox ） ） 。 而 集 合 论 中 的 其 他 概 念 ， 则 都是从它出发给予了严格的定义。
□
陕西师范大学计算机科学学院
定义3.1.2 设A和B是两个集合，若AB且 B中至少有一个元素b使得bA，则称A是B 的真子集（Proper subset），也称A真包 含于B或B真包含A，记作AB。否则，记 作AB。B真包含A的符号化表示：
AB x(x∈A→x∈B)∧x(x∈B∧xA)
若两个集合A和B没有公共元素，我们 说A和B是不相交的（Disjoint）。
陕西师范大学计算机科学学院
若集合A中只有有限个元素时，称A为 有限集合（Finite set），集合中元素的个 数称为集合的基数（势，Cardinality）， 记为|A|；否则，称A为无限集合（Infinite set）。
陕西师范大学计算机科学学院
下面将本书中常用的集合列举如下： N：表示全体自然数组成的集合。 Z：表示全体整数组成的集合。 Q：表示全体有理数组成的集合。 R：表示全体实数组成的集合。 Zm：表示模m同余关系所有剩余类组 成的集合。
陕西师范大学计算机科学学院
集合表示法 1. 列举法
列举法就是将集合的元素全部写在花括 号内，元素之间用逗号分开。
例如，A={a, b, c}，N={0, 1, 2, …}。 列举法一般用于有限集合和有规律的无 限集合。
陕西师范大学计算机科学学院
2. 谓词表示法（属性描述法） 谓词表示法是用谓词来概括集合中元素
陕西师范大学计算机科学学院
定义3.1.5 所要讨论的集合都是某个集合的子 集，称这个集合为全集（Universal set）， 记作U或E。
全集是一个相对的概念。由于所研究的问 题不同，所取的全集也不同。例如，在研究整 数问题时，可把整数集Z取作全集。在研究平 面几何问题时，可把整个坐标平面取作全集。
陕西师范大学计算机科学学院
解： P(Φ)={Φ}。P({Φ})={Φ, {Φ}}。 P({Φ, {Φ}})={Φ, {Φ}, {{Φ}}, {Φ, {Φ}}}。 P({1, {2, 3}})={Φ, {1}, {{2, 3}}, {1, {2,
3}}}。 □
陕西师范大学计算机科学学院
定理3.1.5 若|A|=n，则|P(A)|=2n。
反之，若AB且BA，假设A≠B，则 A与B元素不完全相同。不妨设有某个元素 x∈A但xB，这与AB矛盾，所以A=B。
□
陕西师范大学计算机科学学院
定理3.1.2 设A、B和C是三个集合，则： （1）AA。（2）AB∧BC AC。
陕西师范大学计算机科学学院
证明： （1）由定义显然成立。 （2）AB∧BC x(x∈A→x∈B) ∧x(x∈B→x∈C) x((x∈A→x∈B) ∧(x∈B→x∈C)) x(x∈A→x∈C) AC。
陕西师范大学计算机科学学院
20世纪30年代中后期，图灵对计算的 本质进行了研究，从而实现了对计算本质的 真正认识。图灵提出了“图灵机”这一计算 模型用来解决“能行计算”问题，而数字电 子计算机正是这种模型的具体实现。
陕西师范大学计算机科学学院
3.1 集合的概念与表示法
这一节的主要内容：
集合的元素、基数、有限集与无限集、 集合的表示法、子集、平凡子集、不相交集 合、空集、幂集、全集。
陕西师范大学计算机科学学院
证明： 因为A的m个元素的子集的个数为C(n,
m)，所以|P(A)|=C(n, 0)+C(n, 1)+…+ C(n, n)=2n。
□百度文库
陕西师范大学计算机科学学院
定理3.1.6 设A和B是两个集合，则： （1）B∈P(A) BA。 （2）AB P(A)P(B)。 （3）P(A)=P(B) A=B。 （4）P(A)∈P(B) A∈B。 （5）P(A)∩P(B)=P(A∩B)。 （6）P(A)∪P(B)P(A∪B)。
陕西师范大学计算机科学学院
定义3.1.1 设A和B为两个集合，若对于任 意 a∈A 必 有 a∈B ， 则 称 A 是 B 的 子 集 （ Subset），也称A包含于B或B包含A，记 作AB。如果B不包含A，记作A B 。B包 含A的符号化表示为：
AB x(x∈A→x∈B)。
陕西师范大学计算机科学学院
例如，若A={1, 2, 3, 4}，B={1, 2}， C={2, 3}，则BA且CA，但C B。
陕西师范大学计算机科学学院
定理3.1.1 集合A和B相等当且仅当这两个 集合互为子集。即：A=B AB∧BA。
陕西师范大学计算机科学学院
证明： 若A=B，则A和B具有相同的元素，于
是 x(x∈A→x∈B) 、 x(x∈B→x∈A) 都 为真，即AB且BA。
陕西师范大学计算机科学学院
3.2 集合的运算与性质
这一节的主要内容：
集合的并、交、差、补、对称差、基本 集合恒等式（幂等律，交换律，结合律，分 配律，同一律，零律，互补律，吸收律，德. 摩根律，双否律）。
陕西师范大学计算机科学学院
集合的交、并、补 定义3.2.1 设A和B为两个集合，A和B的交 集 A∩B （ Intersection ） 、 并 集 A∪B （ Union）分别定义如下：
陕西师范大学计算机科学学院
例如，若A={a, b, c, d}，B={b, c}，则 B是A的真子集，但A不是A的真子集。 注 ∈与表示元素和集合的关系，而、与 ＝表示集合和集合的关系。
例如，若A={0, 1}，B={0, 1, {0, 1}}， 则AB且AB。
陕西师范大学计算机科学学院
定理3.1.3 设A、B和C是三个集合，则 （1）(AA)。 （2）AB (BA)。 （3）AB∧BC AC。
={x | x∈A1∨x∈A2∨…∨x∈An}
陕西师范大学计算机科学学院
例3.2.1 设A，B和C为任意集合，且AB， 则A∩CB∩C。
陕西师范大学计算机科学学院
证明： 对任意的x∈A∩C，则有x∈A且x∈C。
而AB，由x∈A得x∈B，则x∈B且x∈C， 从而x∈B∩C。所以，A∩CB∩C。
陕西师范大学计算机科学学院
在自然科学中，除了研究处于孤立的个体 之外，更重要的是将一些相关的个体放在一起 进行研究，这就直观地产生了引入集合这一概 念的要求。集合是最简单的数学对象。
陕西师范大学计算机科学学院
随着计算机时代的到来，集合的元素已由 传统的“数集”和“点集”拓展成包含文字、 符号、图形、图表和声音等多媒体信息，构成 了各种数据类型的集合。从而集合论在编译原 理、开关理论、信息检索、形式语言、数据库 和知识库、CAD、CAM、CAI及AI等各个领 域得到了广泛的应用。
定义3.1.3 没有任何元素的集合称为空集（ Empty Set），记作Φ。以集合为元素的集 合称为集族。
例如，{x | (x≠x)∧x∈R}是空集；{x｜ x是某大学的学生社团}是集族。 定理3.1.4 空集是任何集合的子集。
陕西师范大学计算机科学学院
对于任一集合A，我们称空集Φ和其自
身A为A的平凡子集（Trivial Subset）。
大家好
离散数学
第三章 集合
裘国永
2020年12月9日
本章内容及教学要点
3.1 集合的概念与表示法 教学内容：集合，子集，包含，空集，
幂集，全集
陕西师范大学计算机科学学院
3.2 集合的运算与性质 教学内容：并，交，补，对称差，文氏图
陕西师范大学计算机科学学院
3.3 集合的划分与覆盖 教学内容：划分，覆盖
陕西师范大学计算机科学学院
证明： 仅证（2）和（3）。 （2）AB x(x∈A→x∈B)∧x(x∈B∧xA) x(xA∨x∈B)∧x(x∈B∧xA) x(x∈A∧xB)∧x(xB∨x∈A) x(x∈A∧xB)∨x(x∈A∨xB) (x(x∈A∧xB)∧x(x∈A∨xB)) (x(x∈A∧xB)∧x(x∈B→x∈A)) (BA)。
例如，某大学计算机系的全体学生、所 有自然数等都是集合。
陕西师范大学计算机科学学院
集合元素的特征：确定性、互异性、无序性。 确定性：一旦给定了集合A，对于任意a，可 准确地判定a是否在A中。 互异性：集合中的元素之间是彼此不同的。即 集合{a, b, b, c}与集合{a, b, c}是一样的。 无序性：集合中的元素之间没有次序关系。即 集合{a, b, c}与集合{c, b, a}是一样的。
陕西师范大学计算机科学学院
但数学家们不久就在康托尔的理论（我 们称之为朴素(古典)集合论）中发现了逻辑 矛盾，即所谓的“悖论”（Paradox），导 致了数学发展史上的第三次危机（另两次分 别是无理数的引入和无穷小量的引入）。其 中最著名的就是1901年罗素发现的“罗素 悖论”S={x：xS}。“罗素悖论”的通俗 表示是所谓的“理发师悖论”。
陕西师范大学计算机科学学院
小镇里的理发师放出豪言：“我帮且只帮 镇里所有不自己刮脸的人刮脸”。
哪么他是否应当给自己刮脸？
如果他给自己刮脸，那么按照他的豪言他 不应该为自己刮脸；但如果他不给自己刮脸， 同样按照他的豪言他又应该为自己刮脸。
陕西师范大学计算机科学学院
正是寻求解决第三次数学危机的各种努 力，给数学基础问题的研究带来了全新的转 机。一部分数学家开始把精力集中于解决具 有“能行性”的问题上。
特别要注意Φ与{Φ}的区别，Φ是不含
任何元素的集合，是任意集合的子集，而
{Φ}是含有一个元素Φ的集合。
定义3.1.4 一个集合A的所有子集组成的集
合称为A的幂集（Power Set），记作P(A)
或2A。
陕西师范大学计算机科学学院
例 3.1.1 求 幂 集 P( Φ ) 、 P({ Φ }) 、 P({ Φ , {Φ}})、P({1, {2, 3}})。
陕西师范大学计算机科学学院
构成集合的每个事物称为这个集合的元 素或成员（Member，Element）。集合一 般用大写字母表示，元素用小写字母表示。 但这也不是绝对的，因为一个集合可以是另 外一个集合的元素。
陕西师范大学计算机科学学院
给定一个集合A和一个a，可以判定a是 否在集合A中。如果a在A中，我们称a属于 A，记为a∈A。否则，称a不属于A，记为 aA。
的属性。通常用{x | P(x)}来表示具有性质P 的一些对象组成的集合。
例如，{x | 1≤x≤6∧x为整数}为由1、 2、3、4、5、6组成的集合。
陕西师范大学计算机科学学院
集合的包含与相等 外延性原理：两个集合A和B是相等的，当且 仅当它们有相同的元素。记为A=B。
例如，若A={2, 3}，B={小于4的素数}， 则A=B。
陕西师范大学计算机科学学院
3.6 基本计数原理原理 教学内容：加法原理，乘法原理，
容斥原理，抽屉原理
陕西师范大学计算机科学学院
集合论是现代数学的基础，是数学中不 可或缺的基本描述工具。可以这样讲，现代 数学与离散数学的“大厦”建立在集合论的 基础之上。
陕西师范大学计算机科学学院
集合论的研究起源于对数学的基础研究： 对数学的对象、性质及其发生、发展的一般规 律进行的科学研究。德国数学家康托尔从187 4年始，发表了一系列集合论方面的著作，从 而创立了集合论。