离散数学集合的基本概念和运算
- 格式:ppt
- 大小:1.57 MB
- 文档页数:22
离散知识点公式总结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中,如果一条路径的起点和终点是同一个顶点,则称其为回路。
离散数学的基础知识离散数学是计算机科学、数学和信息科学的一门重要学科,它研究的是离散结构,即不连续的数学对象,例如集合、图、函数和关系等。
离散数学的基础知识对于我们理解和应用计算机科学中的算法、数据结构、逻辑和推理等方面都至关重要。
本文将介绍离散数学的一些基本概念和应用。
一、集合论在离散数学中,集合是一个重要的概念。
集合是由确定的对象组成的整体,这些对象被称为集合的元素。
集合的运算有并、交、补、差等。
集合还可以用列表、描述法、泛函法等方式表示。
在计算机科学中,集合常用于表示数据的存储和操作。
二、逻辑与命题逻辑是离散数学中的另一个基础知识,它研究的是推理和论证的规律。
逻辑主要包含命题逻辑和谓词逻辑两个方面。
命题逻辑研究的是命题的真假和推理的方法,谓词逻辑则扩展了命题逻辑,研究的是谓词和量词的运算。
命题是一个陈述句,它要么为真,要么为假。
命题可以用真值表、逻辑公式等方式表示。
逻辑运算包括非、与、或、蕴含和等价等。
命题逻辑的推理方法有代入法、消解法、假设法等。
三、图论图论是离散数学中的一个重要分支,它研究的是图的性质和图的应用。
图是由节点和边组成的数学模型,用来表示事物之间的关系。
图论主要研究顶点的度、路径的搜索、连通性、环的存在性等问题。
图可以分为有向图和无向图,有向图的边有方向,无向图的边没有方向。
在图中,节点之间的连接关系称为边,边可以有权重。
图的表示方法有邻接矩阵、邻接表等。
图的应用包括网络分析、城市规划、路线规划等。
四、组合数学组合数学是离散数学中的一个分支,它研究的是集合的选择和排列方式。
组合数学在计算机科学中有重要的应用,例如密码学、编码理论和算法设计等方面。
组合数学的基本概念包括排列、组合、二项式系数等。
排列是从一组元素中选取特定顺序的方式,组合是从一组元素中选取特定组合的方式。
二项式系数是计算排列和组合数量的重要方法。
组合数学的应用有很多,包括选择算法、排列算法、图的着色等。
五、数论数论是离散数学中研究整数性质的一个分支,它研究的是整数之间的关系和性质。
离散数学的基础知识离散数学作为现代数学的一门重要分支,在计算机科学、通信工程、信息技术等领域发挥着重要的作用。
本文将介绍离散数学的基础知识,共分为三个部分:集合论、逻辑和图论。
一、集合论集合是离散数学中的基本概念,它是一个由元素组成的整体。
例如,{1,2,3}就是一个集合,其中1、2、3是元素。
集合的描述通常采用列举法或描述法。
列举法即列举集合中的元素。
例如,{1,2,3}、{a,b,c,d}等都是集合。
描述法则是通过一些规则来描述集合中的元素。
例如,{x | x是正整数且小于10}表示由所有小于10的正整数组成的集合。
集合之间有一些常见的运算:并集:将两个集合中的元素合并起来,形成一个新的集合。
例如,{1,2,3}和{3,4,5}的并集为{1,2,3,4,5}。
交集:取两个集合中相同的元素组合成一个新的集合。
例如,{1,2,3}和{3,4,5}的交集为{3}。
补集:设A为一个集合,A'为其补集,则A'包含所有不在A 中的元素。
除此之外,集合中还有子集、空集、全集等重要概念。
子集指的是一个集合中的所有元素为另一个集合的元素,则前者是后者的子集。
空集指的是一个不包含任何元素的集合,全集则是该领域的所有元素的集合。
二、逻辑逻辑是进行推理和论证的基础。
在离散数学中,布尔代数是逻辑的一种基础形式。
它是一种将推理和论证过程化为运算的数学体系。
常见的布尔运算有与(AND)、或(OR)、非(NOT)。
与运算表示只有两个值同时为真,结果才为真。
例如,1 AND 1 为真,1 AND 0 为假。
或运算表示两个值中至少一个值为真,结果才为真。
例如,1 OR 0 为真,0 OR 0 为假。
非运算表示取反,将真变为假,将假变为真。
例如,NOT 1 为假,NOT 0 为真。
布尔代数的一个重要应用是逻辑电路的设计。
逻辑电路是指由逻辑门和连线构成的电路,其中逻辑门实现着不同的布尔运算。
三、图论图论是离散数学中的重要分支。
离散数学知识点摘要:离散数学是计算机科学和数学的一个分支,它专注于非连续结构的研究。
本文旨在概述离散数学的核心知识点,包括集合论、逻辑、关系、函数、图论、组合数学和递归等。
1. 集合论- 集合的基本概念:集合是离散数学的基础,它是一组明确的、无重复的对象的集合。
- 集合运算:包括并集、交集、差集、补集等。
- 幂集:一个集合所有子集的集合。
- 笛卡尔积:两个集合所有可能的有序对的集合。
2. 逻辑- 命题逻辑:研究命题(声明的真值)和它们之间的关系,如合取、析取、否定等。
- 谓词逻辑:使用量词(如全称量词和存在量词)来表达更复杂的逻辑关系。
- 逻辑推理:包括直接证明、间接证明和归谬法等。
3. 关系- 关系的定义:一个集合到另一个集合的有序对的集合。
- 关系的类型:自反性、对称性和传递性等。
- 关系的闭包:在给定关系下,集合的最小闭包。
4. 函数- 函数的定义:一个集合到另一个集合的映射,每个元素有唯一的像。
- 函数的类型:单射、满射和双射。
- 复合函数:两个函数可以组合成一个新的函数。
5. 图论- 图的基本概念:由顶点(节点)和边组成的结构。
- 图的类型:无向图、有向图、连通图、树等。
- 图的算法:如最短路径、最小生成树、图的着色等。
6. 组合数学- 排列和组合:从n个不同元素中取出r个元素的不同排列和组合的数量。
- 二项式定理:描述了二项式的幂展开的系数。
- 生成函数:一种编码序列的方法,用于解决复杂的计数问题。
7. 递归- 递归定义:一个对象通过引用比自己更小的版本来定义。
- 递归函数:在计算机程序中,一个函数调用自身来解决问题。
结论:离散数学为理解和设计计算机系统提供了基础工具和理论。
它的知识点广泛应用于算法设计、数据结构、编程语言理论和数据库等领域。
掌握离散数学对于任何希望在计算机科学领域取得进展的人来说都是至关重要的。
本文提供了一个简洁的离散数学知识点概述,每个部分都直接针对一个主题,避免了不必要的背景信息和解释。
离散数学知识点整理离散数学是现代数学的一个重要分支,它在计算机科学、信息科学、电子工程等领域都有着广泛的应用。
下面我们来对离散数学的一些重要知识点进行整理。
一、集合论集合是离散数学的基础概念之一。
集合是由一些确定的、不同的对象组成的整体。
集合的表示方法有列举法和描述法。
集合的运算包括并集、交集、差集和补集。
并集是指将两个集合中的所有元素合并在一起组成的新集合。
交集则是指两个集合中共同拥有的元素组成的集合。
差集是从一个集合中去掉另一个集合中的元素得到的集合。
补集是在给定的全集范围内,某个集合之外的元素组成的集合。
集合之间的关系也非常重要,比如包含关系、相等关系等。
子集是指一个集合中的所有元素都属于另一个集合。
如果两个集合相互包含,那么它们就是相等的。
二、关系关系是集合中元素之间的某种联系。
关系可以用矩阵和图形来表示。
关系的性质包括自反性、反自反性、对称性、反对称性和传递性。
自反性是指集合中的每个元素都与自身有关系;反自反性则是集合中的每个元素都与自身没有关系。
对称性是指如果一个元素与另一个元素有关系,那么反过来另一个元素也与这个元素有关系;反对称性则是如果一个元素与另一个元素有关系,且另一个元素也与这个元素有关系,那么这两个元素必须相等。
传递性是指如果一个元素与另一个元素有关系,另一个元素与第三个元素有关系,那么第一个元素与第三个元素也有关系。
关系的合成是将两个关系结合起来得到一个新的关系。
三、函数函数是一种特殊的关系,它对于定义域中的每个元素,都有唯一的对应值在值域中。
函数的类型有单射、满射和双射。
单射是指定义域中的不同元素对应值域中的不同元素;满射是指值域中的每个元素都有定义域中的元素与之对应;双射则是既是单射又是满射。
四、代数系统代数系统由集合、运算和运算所满足的公理组成。
常见的代数系统有群、环、域等。
群是一种具有封闭性、结合律、单位元和逆元的代数系统。
环是在群的基础上增加了两个运算,并且满足一定的运算规则。
离散数学教程集合的基本概念标题:离散数学教程——集合的基本概念离散数学是数学的一个重要分支,它研究的是数学中离散对象的性质和结构。
在这些离散对象中,集合是最基本的概念之一。
集合是由一些互不相同的、可以区分的对象组成的整体,这些对象可以是数字、字母、图形等。
在离散数学中,集合的概念被广泛地应用于各种不同的领域,包括计算机科学、信息论、统计学等。
一、集合的基本定义1、集合是由一些特定对象组成的整体,这些对象可以是任何类型,如数字、字母、图形等。
2、集合中的对象必须是互不相同的,即集合中的每个对象都是独一无二的,不能有两个或更多的对象重复。
3、集合的元素具有可区分性,即可以根据一定的规则或性质将集合中的对象区分开来。
二、集合的表示在数学中,通常用大写字母来表示集合,如A、B、C等。
如果集合中有多个元素,则可以用列举法或描述法来表示集合。
1、列举法:将集合中的所有元素一一列举出来,用大括号括起来。
例如,A={1, 2, 3}表示集合A包含1、2和3这三个元素。
2、描述法:用特定的符号或语言来描述集合的性质或特征。
例如,B={x|x是正方形}表示集合B包含所有的正方形。
三、集合的运算在离散数学中,集合的运算是最基本的概念之一。
常见的集合运算包括交集、并集、补集等。
1、交集:如果集合A和B的元素都有共同的属性或特征,则称A和B有交集。
记作A∩B或A.B,表示A和B的交集。
2、并集:如果集合A和B的所有元素都属于另一个集合C,则称A 和B的并集为C。
记作A∪B或A.B,表示A和B的并集。
3、补集:如果集合A中存在一些不属于B的元素,则称B为A的补集。
记作∁AB,表示A的补集。
四、集合的性质1、空集:没有任何元素的集合称为空集。
记作∅。
空集是所有集合的子集。
2、全集:包含所有可能元素的集合称为全集。
记作U。
全集是所有集合的超集。
3、幂集:给定一个集合A,A的幂集是指包含A的所有子集的集合。
记作P(A)。
4、子集:如果一个集合B的所有元素都属于另一个集合A,则称B为A的子集。
离散数学知识点总结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)}是自反关系。
第1章集合1.1 集合的基本概念1. 集合、元(元素)、有限集、无限集、空集2. 表示集合的方法:列举法、描述法3. 定义1.1.1(子集):给定集合A和B,如果集合A的任何一个元都是集合B中的元,则称集合A包含于B或B包含A,记为或,并称A为B的一个子集。
如果集合A和B满足,但B中有元不属于A,则称集合A真包含于B,记为,并且称A为B的一个真子集。
4. 定义(幂集):给定集合A,以A的所有子集为元构成的一个集合,这个集合称为A的幂集,记为或1.2 集合的运算定义1.2.1(并集):设A和B是两个集合,则包含A和B的所有元,但不包含其他元的集合,称为A和B的并集,记为.定义1.2.2(交集):A和B是两个集合,包含A和B的所有公共元,但不包含其他元的集合,称为A和B的交集,记为.定义1.2.3(不相交):A和B是两个集合,如果它们满足,则称集合A和B是不相交的。
定义1.2.4(差集):A和B是两个集合,属于A而不属于B的所有元构成集合,称为A和B 的差集,记为.定义1.2.5(补集):若A是空间E的集合,则E中所有不属于A的元构成的集合称为A的补集,记为.定义(对称差):A和B是两个集合,则定义A和B的对称差为1.3 包含排斥原理定理设为有限集,其元素个数分别为,则定理设为有限集,其元素个数分别为,则定理设为有限集,则重要例题P11 例第2章二元关系2.1 关系定义(序偶):若和是两个元,将它们按前后顺序排列,记为,则成为一个序偶。
※对于序偶和,当且仅当并且时,才称和相等,记为定义(有序元组):若是个元,将它们按前后顺序排列,记为,则成为一个有序元组(简称元组)。
定义(直接积):和是两个集合,则所有序偶的集合,称为和的直接积(或笛卡尔积),记为. 定义(直接积):设是个集合,,则所有元组的集合,称为的笛卡尔积(或直接积),记为.定义(二元关系)若和是两个集合,则的任何子集都定义了一个二元关系,称为上的二元关系。