重点练习放在文末
关系矩阵
性质
矩阵转置
逆序合成
计算——第1个矩阵第1行逐个数乘上第2个矩阵第1列的对应数，把结果相加，得到结果矩阵第1行第1列的数。第1行第2列的数由第1个矩阵第1行和第2个矩阵第2列得出（往后以此类推）
加为析取、乘为合取
关系图G
性质
关系性质
自反性
自反——矩阵主对角线全是1（对于任意元素x，都有<x,x>）
非自反——矩阵主对角线不全是1
反自反性
矩阵主对角线全是0（不存在<x,x>）
对称性
对称——矩阵中<x,y>和<y,x>的真值相同（同为0或1）（主对角线的值是什么都可以）（在集合中，有<x,y>，必有<y,x>）
非对称——矩阵中存在一个及以上<x,y>和<y,x>的真值不相同
反对称性
反对称——矩阵中除了主对角线以外，不存在<x,y>,<y,x>真值相同的情况（在集合中，有<x,y>就不能出现<y,x>）
非反对称——矩阵中除了主对角线外，存在一个及以上<x,y>,<y,x>真值相同的情况
传递性
集合中有<x,y>,<y,z>，那么就要有<x,z>（非传递——存在一个及以上不符合这个条件的）（对于类似<x,x>的满足传递）
或者说是——集合中没有出现违背传递性的有序对都称具备传递性
1.<x,y>，<y,z>，但是没有出现<x,z>，这样就违背了传递性
2.<x,y>，却没有出现<y,?>（y开头的任何有序对），这样的情况不属于违背传递性
关系性质的等价描述
练习
关系性质的证明
看一遍，搞明白即可
14题
积累一下反证法吧，虽然在前面章节的习题中出现过不少次
???看了很多，还是不会做（不会徒留我一人吧?）
15题
just scan
这个（1）答案应该有点问题，只能知道没有自反性，不难说明反自反性（因为含空集，所以易知没有自反性）
22题
证明 “=” 的一种方法，积累一下
= 相当于前面做的那个等价符号 ?（所以证明步骤也是一样的，先是左边到右边，然后右边到左边）
看了挺多题的，但还是不能独立写出来啊（我感觉自己像???）