第二部分第六章集合论.pptVIP

第二部分 集合论Set Theory 第六章 集合代数 Set Algebra 第七章 二元关系 Binary Relation 第八章 函数 Function 第六章 集合代数 6.1 集合的基本概念 6.2 集合的运算 6.3 有穷集合的计数 6.4 集合恒等式 一些确定的、能区分的对象的全体是集合。 集合通常用大写的英文字母表示。 组成集合的对象叫做集合的元素。 元素常用小写的英文字母表示。 集合的例子 元素与集合的“隶属”关系 对集合的进一步理解 集合的表示 集合的表示 有限集与基数 集合之间的包含关系 定义6.1 设 A，B 是任意的集合，如果 B 的每一元素都是 A 的元素时，则称 B 是 A 的子集，也称 B 包含在 A 内或 A 包含 B . 记为 B?A 当 B 不是 A 的子集时，记为 B?A B?A 符号化表示为： B?A ? ?x(x?B→x?A) 集合之间的相等关系 定义6.2 设 A，B 是集合，如果 A?B 且 B?A，则称 A 与 B 相等。 记为 A=B 如果A与B不相等，记为 A≠B 集合相等的符号化表示： A=B ? A?B ∧ B?A 真子集 定义6.3 设A