离散数学--函数和关系 笔记

函数的条件,  x 只会对应一个值

⼊射（单射） injective : 一一 对应, 不会出现 多对一

满射 surjective :   ranf = y, 值域对满了 就是

双射 bijective : 上面2个同时满足即可

自反性:reflexive, 矩阵对角线全是1

传递性:transitive, 必须有一个大边. 

反对称: antisymmetric. 矩阵图 就是不说对称的 

partial order. 偏序关系

1 自反性, reflexive 2 反对称性 antisymmetric 3 传递性 transitive 

total order 全序关系: 满足 partial order 并且 是满足 x<=y 或者 y<=x

等价关系 equivalence relation :

1 自反性, reflexive 2 对称性 antisymmetric 3 传递性 transitive 

codomain 值域的上域