离散数学第三章集合的基本概念和运算知识点总结

离散知识点公式总结1. 集合论集合是离散数学中的基本概念，它是由一些确定的对象所组成的一个整体。

集合之间的运算包括并集、交集、差集、补集等。

其相关公式如下：- 并集：对于集合A和B，它们的并集定义为包含A和B中所有元素的集合，记作A∪B。

公式：A∪B={x|x∈A或x∈B}- 交集：对于集合A和B，它们的交集定义为同时属于A和B的所有元素的集合，记作A∩B。

公式：A∩B={x|x∈A且x∈B}- 差集：对于集合A和B，A与B的差集定义为属于A但不属于B的元素所组成的集合，记作A-B。

公式：A-B={x|x∈A且x∉B}- 补集：对于集合A，相对于全集合U而言，A的补集定义为全集合中不属于A的元素所组成的集合，记作A'。

公式：A'={x|x∈U且x∉A}2. 关系和函数关系是一种描述元素之间的对应关系的数学工具，而函数则是一种特殊的关系。

在离散数学中，关系和函数的定义和性质是非常重要的内容。

其相关公式如下：- 关系R：对于集合A和B，关系R定义为A和B的笛卡尔积中的元素对所组成的集合。

公式：R={(a,b)|a∈A且b∈B}- 函数f：对于集合A和B，如果f是从A到B的一个映射，那么对于任意元素a∈A，都有唯一的元素b∈B与之对应。

公式：f:A→B3. 图论图论是离散数学中的一个重要分支，它研究的是由顶点和边组成的数学结构。

图论的基本概念包括图的类型、路径和回路、连通性、树等。

其相关公式如下：- 有向图：对于图G=(V,E)，如果E中的边是有方向的，则称G为有向图。

公式：G=(V,E)，E={(u,v)|u,v∈V，u→v}- 无向图：对于图G=(V,E)，如果E中的边是无方向的，则称G为无向图。

公式：G=(V,E)，E={{u,v}|u,v∈V，u≠v}- 路径：在图G中，顶点v1,v2,...,vn的一个路径是图G中的一个顶点序列，其中相邻的顶点用一条边连接。

公式：v1,v2, (v)- 回路：在图G中，如果一条路径的起点和终点是同一个顶点，则称其为回路。

集合的知识点总结2篇一、集合的定义和运算集合是离散数学中最基础的概念，是由一些确定的不同元素组成的整体。

比如，全班学生、一天内所有的降雨量等都是集合。

通常用大括号{}括住集合中的元素，并用逗号隔开。

例如，{1，2，3}表示包含数字1、2、3的集合。

集合有几个基本的运算，包括：1. 并集并集是两个或多个集合中的所有元素的组合，它们以∪符号表示。

例如，{1,2}∪{2,3} = {1,2,3}。

2. 交集交集是两个或多个集合中共同元素的集合，它们以∩ 符号表示。

例如，{1，2}∩{2，3}={2}。

3. 补集一个集合减去它与其他集合的交集，称为该集合相对于其他集合的补集，补集用符号∁表示。

例如，如果A={1,2,3}，B={2,3,4}，则A∁B={1}。

4. 包含如果一个集合的元素都在另一个集合中，那么它就是被包含在另一个集合中。

例如，如果集合A={1,2}，B={1,2,3}，则A 是B的子集。

集合的运算通常遵循各种定律，比如交换律、结合律等。

这些定律可以用来加速计算和简化复杂的集合表达式。

二、集合的常见关系集合之间存在着不同的关系，我们可以通过这些关系来描述它们之间的联系。

以下是常见的集合关系：1. 相等关系当两个集合所包含的元素完全相同时，它们就是相等的。

例如，{1，2}={2，1}。

2. 子集关系如果一个集合的所有元素都在另一个集合中，那么该集合就是被包含在另一个集合中。

例如，{1，2}是{1，2，3}的子集。

3. 真子集关系如果一个集合是另一个集合的子集，并且两个集合不相等，那么该集合就是另一个集合的真子集。

例如，{1，2}是{1，2，3}的真子集。

4. 交叉关系两个集合之间不存在任何元素相同的情况称为交叉关系。

例如，{1，2}与{3，4}之间存在交叉关系。

5. 并集关系如果两个集合有相交的元素，它们就形成了并集关系。

例如，{1，2}与{2，3}之间存在并集关系。

6. 包含关系如果一个集合包含另一个集合，并且两个集合不相等，那么该集合就是另一个集合的超集。

离散数学知识点整理离散数学是现代数学的一个重要分支，它在计算机科学、信息科学、数理逻辑等领域都有着广泛的应用。

下面为您整理了一些离散数学的关键知识点。

一、集合论集合是离散数学中最基本的概念之一。

集合是由一些确定的、彼此不同的对象组成的整体。

比如，｛1, 2, 3}就是一个集合。

集合的运算包括并集、交集、差集和补集。

并集是将两个集合中的所有元素合并在一起组成的新集合；交集则是两个集合中共同拥有的元素组成的集合；差集是从一个集合中去掉另一个集合中的元素所剩下的元素组成的集合；补集是在给定的全集范围内，某个集合的补集是全集中不属于该集合的元素组成的集合。

集合之间的关系有包含、相等、真包含等。

如果集合 A 的所有元素都属于集合 B，那么 A 包含于 B；如果 A 和 B 的元素完全相同，则 A和 B 相等；如果 A 包含于 B 且 A 不等于 B，那么 A 真包含于 B。

二、关系关系是集合中元素之间的某种联系。

比如在集合{1, 2, 3}中，“小于”就是一种关系。

关系可以用矩阵和图来表示。

矩阵表示法通过 0 和 1 来表示元素之间是否存在关系；图表示法则用节点代表元素，用边表示关系。

关系的性质包括自反性、对称性、反对称性和传递性。

自反性是指每个元素都与自身有关系；对称性是指如果 a 与 b 有关系，那么 b 与 a 也有关系；反对称性是指如果 a 与 b 有关系且 b 与 a 有关系，那么 a ＝b；传递性是指如果 a 与 b 有关系，b 与 c 有关系，那么 a 与 c 有关系。

三、函数函数是一种特殊的关系，对于定义域中的每个元素，在值域中都有唯一的元素与之对应。

函数的类型有单射、满射和双射。

单射是指不同的自变量对应不同的函数值；满射是指函数的值域等于其到达的集合；双射则是既单射又满射。

四、数理逻辑数理逻辑包括命题逻辑和谓词逻辑。

命题是可以判断真假的陈述句。

命题逻辑中的基本运算有与（并且）、或、非、蕴含和等价。

离散数学集合论基础知识离散数学是计算机科学中一门重要的基础学科，集合论是离散数学的基础之一。

在这篇文章中，我们将介绍离散数学集合论的基础知识，包括集合的定义、运算、关系等内容。

一、集合的定义与表示集合是具有确定性的事物或对象的总体，它是数学中的一个基本概念。

我们可以用不同的方式表示一个集合，包括列举法、描述法和图形法。

（一）列举法列举法是通过列举集合中的元素来表示一个集合。

例如，可以用列举法表示自然数集合N={1, 2, 3, 4, …}，表示所有正整数的集合。

（二）描述法描述法是通过描述集合中元素的性质来表示一个集合。

例如，可以用描述法表示偶数集合E={x | x是整数，且x能被2整除}，表示所有能被2整除的整数的集合。

（三）图形法图形法是用图形的方式表示一个集合。

例如，可以用图形法表示平面上所有整数坐标点构成的集合。

二、集合的运算集合的运算包括并集、交集、差集和补集等。

（一）并集集合A与集合B的并集，记作A∪B，表示由所有属于集合A或集合B的元素组成的集合。

例如，设A={1, 2, 3}，B={3, 4, 5}，则A∪B={1, 2, 3, 4, 5}。

（二）交集集合A与集合B的交集，记作A∩B，表示由既属于集合A又属于集合B的元素组成的集合。

例如，设A={1, 2, 3}，B={3, 4, 5}，则A∩B={3}。

（三）差集集合A与集合B的差集，记作A-B，表示由属于集合A但不属于集合B的元素组成的集合。

例如，设A={1, 2, 3}，B={3, 4, 5}，则A-B={1, 2}。

（四）补集对于给定的全集U，集合A相对于全集U的补集，记作A'或者A^c，表示由全集U中不属于集合A的元素组成的集合。

例如，设全集U为自然数集合N，A={2, 4, 6}，则A'={1, 3, 5, 7, ...}（即不是偶数的自然数）。

三、集合的关系集合的关系包括包含关系、相等关系和互斥关系等。

离散数学第三章集合的基本概念和运算知识点总结集合论部分第三章、集合的基本概念和运算3.1 集合的基本概念集合的定义与表⽰集合与元素集合没有精确的数学定义理解：⼀些离散个体组成的全体组成集合的个体称为它的元素或成员集合的表⽰列元素法A={ a, b, c, d }谓词表⽰法B={ x | P(x) }B 由使得P(x) 为真的x构成常⽤数集N, Z, Q, R, C 分别表⽰⾃然数、整数、有理数、实数和复数集合，注意0 是⾃然数.元素与集合的关系：⾪属关系属于∈，不属于?实例A={ x | x∈R∧x2-1=0 }, A={-1,1}1∈A, 2?A注意：对于任何集合A 和元素x (可以是集合)，x∈A和x?A 两者成⽴其⼀，且仅成⽴其⼀.集合之间的关系包含（⼦集）A?B??x (x∈A→x∈B)不包含A?B??x (x∈A∧x?B)相等A = B?A?B∧B?A不相等A≠B真包含A?B?A?B∧A≠B不真包含A?B思考：≠和?的定义注意∈和?是不同层次的问题空集?不含任何元素的集合实例{x | x2+1=0∧x∈R} 就是空集定理空集是任何集合的⼦集Ax (x∈?→x∈A) ?T推论空集是惟⼀的.证假设存在?1和?2，则?1??2 且?1??2，因此?1=?2全集E 相对性在给定问题中，全集包含任何集合，即?A (A?E )幂集定义P(A) = { x | x?A }实例P(?) = {?}，P({?}) = {?,{?}}P({1,{2,3}})={?,{1},{{2,3}},{1,{2,3}}}计数如果|A| = n，则|P(A)| = 2n3.2 集合的基本运算集合基本运算的定义??-~⊕并A?B = { x | x∈A∨x∈B }交A?B = { x | x∈A∧x∈B }相对补A-B = { x | x∈A∧x?B }对称差A⊕B = (A-B)?(B-A)= (A?B)-(A?B)绝对补~A = E-A⽂⽒图（John Venn）关于运算的说明运算顺序：~和幂集优先，其他由括号确定并和交运算可以推⼴到有穷个集合上，即A1?A2?…A n= {x | x∈A1∨x∈A2∨…∨x∈A n}A1?A2?…A n= {x | x∈A1∧x∈A2∧…∧x∈A n}某些重要结果A-B?AA?B ?A-B=?（后⾯证明）A?B=??A-B=A命题演算法证X?Y：任取x ，x∈X?… ?x∈Y 例3 证明A?B?P(A)?P(B)任取xx∈P(A) ?x?A?x?B ? x∈P(B)任取xx∈A ? {x}?A ? {x}∈P(A) ? {x}∈P(B){x}B x∈B包含传递法证X?Y：找到集合T 满⾜X?T 且T?Y，从⽽有X?Y例4 A-B ? A?B证A-B ? AA ? A?B所以A-B ? A?B利⽤包含的等价条件证X?Y：例5 A?C∧B?C ?A?B?C证A?C?A?C=CB?C?B?C=C(A?B)?C=A?(B?C)=A?C=C(A?B)?C=C ?A?B?C命题得证反证法证X?Y：欲证X?Y, 假设命题不成⽴，必存在x 使得x∈X 且x?Y. 然后推出⽭盾.例6 证明A?C ∧ B?C ? A?B?C证假设A?B ? C 不成⽴，则?x (x∈A?B∧x?C)因此x∈A 或x∈B，且x?C若x∈A, 则与A?C ⽭盾；若x∈B, 则与B?C ⽭盾.利⽤已知包含式并交运算：由已知包含式通过运算产⽣新的包含式X?Y ?X?Z?Y?Z, X?Z?Y?Z 例7 证明A?C?B?C ∧ A-C?B-C ? A?B证A?C?B?C，A-C ? B-C上式两边求并，得(A?C)?(A-C) ? (B?C)?(B-C)(AC)(A~C) (BC)(B~C)A(C~C) B(C~C)AE BEA B命题演算法证明X=Y：任取x ，x∈X ?… ?x∈Yx∈Y ?… ?x∈X或者x∈X ?… ? x∈Y例8 证明A?(A?B)=A （吸收律）证任取x,x∈A?(A?B) ? x∈A∨ x∈A?Bx∈A ∨ (x∈A ∧ x∈B) ? x∈A等式替换证明X=Y：不断进⾏代⼊化简，最终得到两边相等例9 证明A?(A?B)=A （吸收律）证(假设交换律、分配律、同⼀律、零律成⽴)A?(A?B)=(A?E)?(A?B) 同⼀律=A?(E?B) 分配律=A?(B?E) 交换律=A?E 零律=A 同⼀律反证法证明X=Y：假设X=Y 不成⽴，则存在x 使得x∈X且x?Y，或者存在x 使得x∈Y且x?X，然后推出⽭盾.例10 证明以下等价条件A?B ? A?B=B ? A?B=A ? A-B=?(1) (2) (3) (4)证明顺序：(1) ?(2), (2) ?(3), (3) ?(4), (4) ?(1)(1) ?(2)显然B?A?B，下⾯证明A?B?B.任取x，x∈A?B ? x∈A∨x∈B ? x∈B∨x∈B ? x∈B因此有A?B?B. 综合上述（2）得证.(2) ?(3)A=A?(A?B) ? A=A?B（将A?B⽤B代⼊)(3) ?(4)假设A-B≠?, 即?x∈A-B，那么x∈A且x?B. ⽽x?B ? x?A?B.从⽽与A?B=A⽭盾.(4) ?(1)假设A?B不成⽴，那么x (x∈A ∧ x?B) ? x∈A-B ? A-B≠?与条件（4）⽭盾.集合运算法证明X=Y：由已知等式通过运算产⽣新的等式X=Y ? X?Z=Y?Z, X?Z=Y?Z，X-Z=Y-Z 例11 证明A?C=B?C ∧ A?C=B?C ? A=B证由A?C=B?C 和A?C=B?C 得到(A?C)-(A?C)=(B?C)-(B?C)从⽽有A⊕C=B⊕C因此A⊕C=B⊕C ? (A⊕C)⊕C =(B⊕C)⊕CA⊕(C⊕C) =B⊕(C⊕C) ?A⊕?=B⊕?? A=B3.3 集合中元素的计数集合的基数与有穷集合集合A 的基数：集合A中的元素数，记作card A有穷集A：card A=|A|=n，n为⾃然数.有穷集的实例：A={ a,b,c}, card A=|A|=3；B={ x | x2+1=0, x∈R}, card B=|B|=0⽆穷集的实例：N, Z, Q, R, C 等包含排斥原理：定理设S 为有穷集，P1, P2, …, P m是m 种性质，A i 是S中具有性质P i的元素构成的⼦集，i=1, 2,…, m.则S中不具有性质P1, P2, …, P m 的元素数为证明要点：任何元素x，如果不具有任何性质，则对等式右边计数贡献为１，否则为０证设x不具有性质P1, P2, … , P m ,x?A i, i= 1, 2, … , mx?A i?A j, 1≤i < j ≤m…x?A1?A2?…?A m,x 对右边计数贡献为1 - 0 + 0 -0 + … + (-1)m· 0 = 1例1 求1到1000之间（包含1和1000在内）既不能被5 和6 整除，也不能被8 整除的数有多少个？解：S ={ x | x∈Z, 1≤x ≤1000 },如下定义S的3 个⼦集A, B, C：A={ x | x∈S, 5 | x }，B={ x | x∈S, 6 | x }，C={ x | x∈S, 8 | x }对上述⼦集计数：|S|=1000,|A|= ?1000/5? =200, |B|=?1000/6?=133，|C|= ?1000/8? =125,|A?B|= ?1000/30? =33, |B?C| = ?1000/40? =25,|B?C|= ?1000/24? =41,|A?B?C| = ?1000/120? =8,代⼊公式N = 1000-(200+133+125)+(33+25+41)-8=600例224名科技⼈员，每⼈⾄少会1门外语.英语：13；⽇语：5；德语：10；法语：9英⽇：2; 英德：4；英法：4；法德：4 会⽇语的不会法语、德语求：只会1 种语⾔⼈数，会3 种语⾔⼈数x+2(4-x)+y1+2=13x+2(4-x)+y2=10x+2(4-x)+y3=9x+3(4-x)+y1+y2+y3=19x=1, y1=4, y2=3, y3=2。

离散数学知识点总结1. 集合论- 集合的基本概念：集合、元素、子集、幂集、并集、交集、差集、补集。

- 集合的运算：德摩根定律、分配律、结合律、交换律。

- 有限集合和无限集合：可数与不可数集合、阿列夫零、阿列夫一。

2. 数理逻辑- 命题逻辑：命题、联结词、真值表、逻辑等价、逻辑蕴含、逻辑独立。

- 一阶谓词逻辑：量词、谓词、解释、满足、逻辑公式、全称量词、存在量词。

- 证明方法：直接证明、间接证明、反证法、数学归纳法。

3. 递归关系和函数- 递归定义：递归方程、初始条件、递归函数。

- 递归函数的例子：阶乘、斐波那契数列。

- 函数的性质：单射、满射、双射、复合函数。

4. 图论- 图的基本概念：顶点、边、路径、回路、图的同构。

- 图的类型：无向图、有向图、简单图、多重图、连通图、强连通图。

- 图的算法：欧拉路径、哈密顿回路、最短路径（Dijkstra算法）、最小生成树（Prim算法、Kruskal算法）。

5. 组合数学- 排列与组合：排列数、组合数、二项式定理。

- 组合恒等式：Pascal三角形、组合恒等式。

- 组合问题：计数原理、Inclusion-Exclusion原理。

6. 布尔代数- 布尔运算：AND、OR、NOT、XOR、NAND、NOR、XNOR。

- 布尔表达式的简化：卡诺图、奎因-麦克拉斯基方法。

- 布尔函数的表示：真值表、卡诺图、逻辑表达式。

7. 关系论- 关系的基本概念：笛卡尔积、自反性、对称性、传递性。

- 关系的类型：等价关系、偏序关系、全序关系。

- 关系的闭包：自反闭包、对称闭包、传递闭包。

8. 树和森林- 树的基本概念：节点、边、根、叶、子树、兄弟、祖先、子孙。

- 特殊类型的树：二叉树、平衡树、B树、B+树。

- 树的遍历：前序遍历、中序遍历、后序遍历、层次遍历。

9. 算法复杂度- 时间复杂度：最好情况、最坏情况、平均情况、大O表示法。

- 空间复杂度：算法空间需求的分析。

- 渐进分析：渐进紧确界、大Θ表示法、小o和大O的非正式描述。

离散数学中的集合与运算在离散数学中，集合与运算是一个重要的概念和工具。

集合是由一些确定的、独立的对象组成的。

这些对象可以是数字、字母、符号、元素等。

在离散数学中，我们可以通过运算来处理集合，并进行各种操作和推理。

一、集合的定义与表示集合是指具有某种特定性质的所有对象的总体。

它可以用花括号{}括起来，其中的元素之间使用逗号隔开。

例如，集合A可以表示为A={a, b, c}，表示A中包含了元素a、b和c。

二、集合的关系1. 包含关系：若集合A的所有元素都属于集合B，我们可以说B包含A，记作A⊆B。

例如，若A={1, 2}，B={1, 2, 3}，则A⊆B。

2. 相等关系：若两个集合A和B的元素完全相同，我们可以说这两个集合相等，记作A=B。

例如，若A={1, 2}，B={2, 1}，则A=B。

3. 真包含关系：若集合A包含于集合B，且A不等于B，我们可以说B真包含A，记作A⊂B。

例如，若A={1, 2}，B={1, 2, 3}，则A⊂B。

三、集合的运算1. 交集：两个集合A和B的交集是指同时属于A和B的所有元素所构成的集合，记作A∩B。

例如，若A={1, 2}，B={2, 3}，则A∩B={2}。

2. 并集：两个集合A和B的并集是指包含了A和B的所有元素所构成的集合，记作A∪B。

例如，若A={1, 2}，B={2, 3}，则A∪B={1, 2, 3}。

3. 差集：集合A相对于集合B的差集是指属于A且不属于B的元素所构成的集合，记作A-B。

例如，若A={1, 2}，B={2, 3}，则A-B={1}。

4. 补集：相对于某个全集U，集合A的补集是指属于U但不属于A 的元素所构成的集合，记作A'或者A^c。

例如，若U={1, 2, 3}，A={2}，则A'={1, 3}。

四、集合的运算规律集合运算满足一些基本规律，包括交换律、结合律、分配律等。

1. 交换律：对于任意两个集合A和B，有A∩B=B∩A，A∪B=B∪A。

离散数学集合及运算离散数学是计算机科学的基本学科之一，也是计算机学习和研究的重要基础。

集合和运算是离散数学中最基本的概念之一，也是计算机学习过程中最基础的概念之一。

本文主要介绍集合及运算的相关概念。

一、集合的定义在数学中，集合是一组确定的对象的集合。

它们可以是数、字母、变量、符号、函数或其他数学实体。

集合是以大写字母表示的，属于这个集合的元素以小写字母表示。

例如，集合A可以包括元素a、b和c，表示为A={a，b，c}。

集合中没有重复的元素，但元素的顺序是不重要的。

例如，集合{a，b，c}和{c，a，b}是相等的，因为它们包含相同的元素。

二、集合的运算1. 并集对于两个集合A和B，它们的并集就是包含A和B的所有元素的集合。

简单而言，对于集合A和B，A ∪ B就是由A和B中的元素组成的集合。

例如，如果A={a，b，c}，B={c，d，e}，那么A ∪ B={a，b，c，d，e}。

并集也可以扩展到多组集合的情况。

例如，如果有三个集合A、B和C，它们的并集可以表示为A∪B∪C。

2. 交集对于两个集合A和B，它们的交集是指它们共有的元素所组成的集合。

简单来说，如果一个元素同时属于集合A和集合B，那么这个元素就属于A和B的交集。

例如，如果A={a，b，c}，B={c，d，e}，那么A ∩ B={c}。

同样地，交集也可以扩展到多组集合的情况。

例如，如果有三个集合A、B和C，它们的交集可以表示为A∩B∩C。

3. 补集对于一个集合A和它包含的全集U，它的补集是指所有不属于集合A的元素构成的集合。

简单来说，补集就是相对于全集的补集。

例如，如果集合A={a，b，c}，全集U={a，b，c，d，e}，那么A的补集就是U-A={d，e}。

4. 差集对于两个集合A和B，它们的差集是指所有属于集合A但不属于集合B的元素所构成的集合。

简单来说，差集就是集合A中除了集合B以外的所有元素构成的集合。

例如，如果A={a，b，c}，B={c，d，e}，那么A-B={a，b}。

离散数学知识点归纳一、集合论。

1. 集合的基本概念。

- 集合是由一些确定的、彼此不同的对象组成的整体。

这些对象称为集合的元素。

例如，A = {1,2,3}，其中1、2、3是集合A的元素。

- 集合的表示方法有列举法（如上述A的表示）和描述法（如B={xx是偶数且x < 10}）。

2. 集合间的关系。

- 子集：如果集合A的所有元素都是集合B的元素，则称A是B的子集，记作A⊆ B。

例如，{1,2}⊆{1,2,3}。

- 相等：如果A⊆ B且B⊆ A，则A = B。

- 真子集：如果A⊆ B且A≠ B，则A是B的真子集，记作A⊂ B。

3. 集合的运算。

- 并集：A∪ B={xx∈ A或x∈ B}。

例如，A = {1,2}，B={2,3}，则A∪B={1,2,3}。

- 交集：A∩ B = {xx∈ A且x∈ B}。

对于上述A和B，A∩ B={2}。

- 补集：设全集为U，集合A相对于U的补集¯A=U - A={xx∈ U且x∉ A}。

二、关系。

1. 关系的定义。

- 设A、B是两个集合，A× B的子集R称为从A到B的关系。

当A = B时，R称为A上的关系。

例如，A={1,2}，B = {3,4}，R={(1,3),(2,4)}是从A到B的关系。

2. 关系的表示。

- 关系矩阵：设A={a_1,a_2,·s,a_m}，B={b_1,b_2,·s,b_n}，R是从A到B的关系，则R的关系矩阵M_R=(r_ij)，其中r_ij=<=ft{begin{matrix}1,(a_i,b_j)∈ R0,(a_i,b_j)∉ Rend{matrix}right.。

- 关系图：对于集合A上的关系R，用节点表示A中的元素，若(a,b)∈ R，则用有向边从a指向b。

3. 关系的性质。

- 自反性：对于集合A上的关系R，如果对任意a∈ A，都有(a,a)∈ R，则R 是自反的。

例如，A={1,2,3}，R = {(1,1),(2,2),(3,3)}是自反关系。